TY  - BOOK
AU  - Dimitrakos,Theo
AU  - Martinelli,F.
ED  - IFIP World Computer Congress
TI  - 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 
SN  - 0387240500 (hbk.)
PY  - 2005///
CY  - New York
PB  - Springer
KW  - Computer security
KW  - Congresses
KW  - Formal methods (Computer science)
KW  - Trust
N1  - Includes bibliographical references
ER  -