"Design and verification of a cryptographic security architecture" - читать интересную книгу автора (Peter Gutmann )