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 /

Lignende værker

• 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 /
  af: Alessandro Armando, Gavin Lowe
  Udgivet: (2010, c2010)
• Foundations of Security Analysis and Design V : FOSAD 2008/2009 Tutorial Lectures /
  af: Alessandro Aldini, Gilles Barthe, Roberto Gorrieri
  Udgivet: (2009, c2009)
• Foundations of Security Analysis and Design : Tutorial Lectures /
  af: Riccardo Focardi, Roberto Gorrieri
  Udgivet: (2001, c2001)
• Foundations of Security Analysis and Design : FOSAD 2006/2007 Turtorial Lectures /
  af: Alessandro Aldini, Roberto Gorrieri
  Udgivet: (2007, c2007)
• Foundations of Security Analysis and Design VI : FOSAD Tutorial Lectures /
  af: Alessandro Aldini, Roberto Gorrieri
  Udgivet: (2011, c2011)