IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22–27, 2004, Toulouse, France
IFIP — The International Federation for Information Processing > Formal Aspects in Security and Trust > 85-98