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.