IFIP WG 1.7 Publications

IFIP WG 1.7 Theoretical Foundations of Security Analysis and Design

FAST 2011: Leuven, Belgium

FAST 2010: Pisa, Italy

ARSPA-WITS 2010: Paphos, Cyprus

FAST 2009: Eindhoven, The Netherlands

ARSPA-WITS 2009: York, UK

FAST 2008: Malaga, Spain

FAST 2006: Hamilton, Ontario, Canada

FAST 2005: Newcastle upon Tyne, UK

- FAST 2005 Home Page

WITS 2005: Long Beach, California, USA

FAST 2004: Toulouse, France

- 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