Formal Aspects in Security and Trust, Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers

Theodosis Dimitrakos Fabio Martinelli Peter Y. A. Ryan Steve A. Schneider Formal Aspects in Security and Trust, Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers Formal Aspects in Security and Trust Lecture Notes in Computer Science 4691 Springer 2007 978-3-540-75226-4 db/conf/ifip1-7/fast2006.html