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. : 2nd international workshop on formal aspects in security and trust : Aug 2004, Toulouse, France 173
Dimitrakos,Theo Martinelli,F.(Fabio) WorkshoponFormalAspectsinSecurityandTrust(2nd:2004:Toulouse,France) ほか
