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 / 
edited by Theo Dimitrakos, Fabio Martinelli. 
 - New York :  Springer  2005. 
 - x, 246 p. :  ill. ;  25 cm. 
 - International Federation of Information Processing ;  173 .
 - International Federation for Information Processing (Series) ;  173. .
<br/><br/>Includes bibliographical references. 
<br/><br/><label>ISBN: </label>0387240500 (hbk.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer security--Congresses.<br/>Formal methods (Computer science)--Congresses.<br/>Trust--Congresses.