IFIP WG 1.7 Publications
FAST 2011: Leuven, Belgium
Gilles Barthe, Anupam Datta, Sandro Etalle (Eds.): Formal Aspects of Security and Trust - 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers. Springer 2012 Lecture Notes in Computer Science 7140 ISBN 978-3-642-29419-8 [ contents ]
FAST 2010: Pisa, Italy
- Pierpaolo Degano, Sandro Etalle, Joshua D. Guttman (Eds.): Formal Aspects of Security and Trust - 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers. Springer 2011 Lecture Notes in Computer Science 6561 ISBN 978-3-642-19750-5 [ contents ]
ARSPA-WITS 2010: Paphos, Cyprus
- Alessandro Armando, Gavin Lowe (Eds.): Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010. Revised Selected Papers. Springer 2011 Lecture Notes in Computer Science 6186 ISBN 978-3-642-16073-8 [ contents ]
FAST 2009: Eindhoven, The Netherlands
- Pierpaolo Degano, Joshua D. Guttman (Eds.): Formal Aspects in Security and Trust, 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers. Springer 2010 Lecture Notes in Computer Science 5983 ISBN 978-3-642-12458-7 [ contents ]
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. Springer 2009 Lecture Notes in Computer Science 5511 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. Springer 2009 Lecture Notes in Computer Science 5491 [ 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. Springer 2007 Lecture Notes in Computer Science 4691 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. Springer 2006 Lecture Notes in Computer Science 3866 ISBN 3-540-32628-6 [ contents ]
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 ]
WITS 2004: Barcelona, Catalonia, Spain
Workshop on Issues in the Theory of Security (WITS) 2003: Warsaw, Poland
Workshop on Issues in the Theory of Security (WITS) 2002: Portland, OR, USA
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team