FAST 2006 (2006 Hamilton, Ont.)

• Formal aspects in security and trust