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 /

Ejemplares similares

• Security Protocols XXV : 25th International Workshop, Cambridge, UK, March 20–22, 2017, Revised Selected Papers /
  Publicado: (2017)
• Automated security management /
  Publicado: (2013)
• Security Protocols XXIV : 24th International Workshop, Brno, Czech Republic, April 7-8, 2016, Revised Selected Papers /
  Publicado: (2017)
• Automated reasoning : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, july 16-19, 2010. Proceedings /
  Publicado: (2010)
• The security needs assessment protocol: improving operational effectiveness through community security /
  por: Miller, Derek B., et al.
  Publicado: (2008)