Software safety and security : tools for analysis and verification

Software safety and security tools for analysis and verification

Recent decades have seen major advances in methods and tools for checking the safety and security of software systems. Automatic tools can now detect security flaws not only in programs of the order of a million lines of code, but also in high-level protocol descriptions. There has also been somethi...

Descripción completa

Detalles Bibliográficos
Autores Corporativos: NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security (-), IOS Press (Firm)
Otros Autores: Nipkow, Tobias, 1958- (-), Grumberg, Orna, Hauptmann, Benedikt
Formato: Libro electrónico
Idioma:Inglés
Publicado: Amsterdam ; Washington, D.C. : IOS Press c2012.
Colección:EBSCO Academic eBook Collection Complete.
NATO science for peace and security. Series D, Information and communication security ; v.33.
Acceso en línea:Conectar con la versión electrónica
Ver en Universidad de Navarra:https://innopac.unav.es/record=b30991043*spi

Ejemplares similares

Ejemplares similares