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