Gutmann, Peter <br/><br/>
Cryptographic security architecture  design and verification 

 - New York  Springer  2004 
 - xviii,320p. 
<br/><br/><label>Subjects--Uniform Titles: </label><br/>Cryptography<br/>Computer Security
<br/><br/><label>Dewey Class. No.: </label>621.3853  / G97C