Cryptographic security architecture : design and verification

Shared by Sipho Ndlovu • computer science, computer security, cryptography • 2004

Cryptographic Security Architecture: Design and Verification Author: Peter Gutmann Published by Springer New York ISBN: 978-0-387-95387-8 DOI: 10.1007/b97264 Table of Contents: The Software Architecture The Security Architecture The Kernel Implementation Verification Techniques Verification of the cryptlib Kernel Random Number Generation Hardware Encryption Modules Conclusion Glossary