Theodosis Dimitrakos, Fabio Martinelli (Eds.):
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.
Springer 2005, ISBN 0-387-24050-0
data released under the ODC-BY 1.0 license
