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 /
Formato: | Libro |
---|---|
Publicado: |
c2010.
|
Acceso en línea: | Ver documento en línea |
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)