TY - BOOK AU - Gutmann, Peter TI - Cryptographic Security Architecture : design and verification SN - 0387953876 U1 - 005.8 GUT PY - 2004/// CY - Berlin PB - Springer Verlag KW - Cryptography KW - Computer security ER -