Cryptographic security architecture design and verification - Gutmann Peter (New York Springer-Verlag, 2004)
Keywords: Computer security; Cryptography