IFIP WG 1.7 Publications
IFIP WG 1.7 Theoretical Foundations of Security Analysis and Design
FAST 2008: Malaga, Spain
Pierpaolo Degano, Joshua D. Guttman, Fabio Martinelli (Eds.):
Formal Aspects in Security and Trust, 5th International Workshop, FAST 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers.
Lecture Notes in Computer Science 5491 Springer 2009
Contents BibTeX
FAST 2006: Hamilton, Ontario, Canada
Theodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve A. Schneider (Eds.):
Formal Aspects in Security and Trust, Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers.
Lecture Notes in Computer Science 4691 Springer 2007, ISBN 978-3-540-75226-4
Contents BibTeX
FAST 2005: Newcastle upon Tyne, UK
Theodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve A. Schneider (Eds.):
Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers.
Lecture Notes in Computer Science 3866 Springer 2006, ISBN 3-540-32628-6
Contents BibTeX
- FAST 2005 Home Page
FAST 2004: Toulouse, France
Theodosis Dimitrakos, Fabio Martinelli (Eds.):
Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), an event of the 18th IFIP World Computer Congress, August 22-27, 2004, Toulouse, France.
Springer 2005, ISBN 0-387-24050-0
Contents BibTeX
- FAST 2004 Home Page
WITS 2004: Barcelona, Catalonia, Spain
WITS 2004 Home Page
Workshop on Issues in the Theory of Security (WITS) 2003: Warsaw, Poland
WITS 2003 Home Page
Workshop on Issues in the Theory of Security (WITS) 2002: Portland, OR, USA
WITS 2002 Home Page
Copyright © Sat May 16 23:22:35 2009
by Michael Ley (ley@uni-trier.de)