"Cryptographic Security Architecture: Design and Verification" - читать интересную книгу автора (Peter Gutmann)