Design and verification of a cryptographic security architecture

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