Proceedings of the 4th international conference on Formal aspects in security and trust

• Authors:

• Theo Dimitrakos;Fabio Martinelli;Peter Y. A. Ryan;Steve Schneider

• Affiliations:

• BT Group Chief Technology Office, Ipswich, UK;National Research Council, Pisa, Italy;University of Newcastle, UK;University of Surrey, UK

• Venue:
• FAST'06 Proceedings of the 4th international conference on Formal aspects in security and trust
• Year:
• 2006