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 /

相似書籍

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