IFIP WG 1.7 Publications

IFIP WG 1.7 Theoretical Foundations of Security Analysis and Design

ARSPA-WITS 2009: York, UK

Pierpaolo Degano, Luca Viganò (Eds.): Foundations and Applications of Security Analysis, Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers. Lecture Notes in Computer Science 5511 Springer 2009, ISBN 978-3-642-03458-9
Contents

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

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

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

- FAST 2005 Home Page

WITS 2005: Long Beach, California, USA

Catherine Meadows (Ed.): Proceedings of the POPL 2005 Workshop on Issues in the Theory of Security, WITS 2005, Long Beach, California, USA, January 10-11, 2005. ACM 2005, ISBN 1-58113-980-2
Contents

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

- 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