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 /

Similar Items

• Security Protocols XXV : 25th International Workshop, Cambridge, UK, March 20-22, 2017, Revised Selected Papers /
  Published: (2017)
• Automated security management /
  Published: (2013)
• Security Protocols XXIV : 24th International Workshop, Brno, Czech Republic, April 7-8, 2016, Revised Selected Papers /
  Published: (2017)
• Automated reasoning : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, july 16-19, 2010. Proceedings /
  Published: (2010)
• Data security and security data : 27th British National Conference on Databases, BNCOD 27, Dundee, UK, June 29 - July 1, 2010. Revised selected papers /
  Published: (2012)