Title: Design and verification of a cryptographic security architecture
Subjects: Computer security, Cryptography