@proceedings{DBLP:conf/ifip1-7/2004,
editor = {Theodosis Dimitrakos and
Fabio Martinelli},
title = {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},
booktitle = {Formal Aspects in Security and Trust},
publisher = {Springer},
year = {2005},
isbn = {0-387-24050-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}