FMSE'03 proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA, October 30, 2003 : co-located with CCS'03

Detalles Bibliográficos
Autores Corporativos: ACM Workshop on Formal Methods in Security Engineering (-), Association for Computing Machinery. Special Interest Group on Security, Audit, and Control, ACM Conference on Computer and Communications Security
Otros Autores: Backes, Michael (-), Basin, David, Waidner, Michael
Formato: Libro
Idioma:Inglés
Publicado: New York : ACM 2003.
Materias:
Ver en Universidad de Deusto:https://oceano.biblioteca.deusto.es/primo-explore/search?query=any,contains,991000595299703351&tab=default_tab&search_scope=deusto_alma&vid=deusto
Solicitar por préstamo interbibliotecario: Correo
Descripción
Notas:Indice
Descripción Física:V, 87 p. : il. ; 28 cm
Bibliografía:Bibliogr.
ISBN:9781581137811