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 /

Lignende værker

• 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 /
  af: Pierpaolo Degano, Luca Viganò
  Udgivet: (2009, c2009)
• Security Protocols : 14th International Workshop, Cambridge, UK, March 27-29, 2006, Revised Selected Papers /
  af: Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe
  Udgivet: (2009, c2009)
• Secure Transaction Protocol Analysis : Models and Applications /
  af: Qingfeng Chen, Chengqi Zhang, Shichao Zhang
  Udgivet: (2008, c2008)
• Security Protocols XVIII : 18th International Workshop Cambridge, UK, March 24-26, 2010 : Revised Selected Papers /
  Udgivet: (2014, c2014)
• Security Protocols : 9th International Workshop, Cambridge, UK, April 25-27, 2001 Revised Papers /
  af: Bruce Christianson, James A. Malcolm, Bruno Crispo, Michael Roe
  Udgivet: (2002, c2002)