IFIP WG1.7: Theoretical Foundations of Security Analysis and Design

Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), an event of the 18th IFIP World Computer Congress, August 22-27, 2004, Toulouse, France, Theodosis Dimitrakos, Fabio Martinelli, 2004: Toulouse, France