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 /

Documenti analoghi

• 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 /
  di: Pierpaolo Degano, Luca Viganò
  Pubblicazione: (2009, c2009)
• Security Protocols : 14th International Workshop, Cambridge, UK, March 27-29, 2006, Revised Selected Papers /
  di: Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe
  Pubblicazione: (2009, c2009)
• Secure Transaction Protocol Analysis : Models and Applications /
  di: Qingfeng Chen, Chengqi Zhang, Shichao Zhang
  Pubblicazione: (2008, c2008)
• Security Protocols XVIII : 18th International Workshop Cambridge, UK, March 24-26, 2010 : Revised Selected Papers /
  Pubblicazione: (2014, c2014)
• Automated Reasoning : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings /
  di: Jürgen Giesl, Reiner Hähnle
  Pubblicazione: (2010, c2010)