Cryptographic Security Architecture Design and Verification - Gutmann, Peter (Springer New York, 2004)