Formal Aspects in Security and Trust  IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, 2004, Toulouse, France /  [electronic resource] : 
edited by Theo Dimitrakos, Fabio Martinelli. 
 - Boston, MA :  International Federation for Information Processing,  2005. 
 - x, 246 p. :  ill., digital ;  25 cm. 
 - IFIP International Federation for Information Processing,  173  1571-5736 ; .
<br/><br/><label>ISBN: </label>9780387240985 (electronic bk.) 9780387240503 (paper) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer security--congresses.<br/>Formal methods (Computer science)--Congresses.<br/>Trust--Congresses.<br/>Computer Science.<br/>Performance and Reliability.<br/>Data Structures, Cryptology and Information Theory.<br/>Data Encryption.<br/>Pattern Recognition.<br/>Information Systems and Communication Service.<br/>Models and Principles.
<br/><br/><label>LC Class. No.: </label>QA76.9.A25  / W666 2004 
<br/><br/><label>Dewey Class. No.: </label>005.8