طراحی و تایید از یک معماری امنیتی رمزنگاری Design and verification of a cryptographic security architecture
- نوع فایل : کتاب
- زبان : انگلیسی
- نویسنده : Peter Gutmann
- ناشر : Springer
- چاپ و سال / کشور: 2004
- شابک / ISBN : 0387953876, 9780387953878
Description
Illustrating the use of C, with stress on portability and speed, this book provides a mathematical background to techniques in computer graphics, before going on to develop a graphics program in C implementing these techniques. As a result, both students and professionals will find this presentation gives them a thorough understanding of the most fundamental algorithms in graphics programming, as well as providing them with a usable graphics package. Georg Glaeser covers such hot topics as hidden surfaces, shadows, reflections, patterns, and modelling curves and surfaces. Readers are assumed to be moderately familiar with programming, although all type definitions, global variables, and macros are thoroughly described prior to their first applications * The software architecture * The security architecture * The Kernel implementation * Verification techniques * Verification of the cryptLib kernel * Random number generation * Hardware encryption modules * Conclusion * Glossary * Index
