Gutmann, Peter Cryptographic Security Architecture Design and Verification - New York Springer 2004 - xviii+320p.,24x18Cms ISBN: 0387953876 Dewey Class. No.: 621.38196428 G9844