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
Clasificación:Libro Electrónico
Autores Corporativos: NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security Bayrischzell, Germany, IOS Press (Firm)
Otros Autores: Nipkow, Tobias, 1958-, Grumberg, Orna, Hauptmann, Benedikt
Formato: Electrónico Congresos, conferencias eBook
Idioma:Inglés
Publicado: Amsterdam ; Washington, D.C. : IOS Press, ©2012.
Colección:NATO science for peace and security series. Information and communication security ; v. 33.
Temas:
Computer software > Verification > Congresses.
Computer security > Congresses.
Logiciels > Vérification > Congrès.
Sécurité informatique > Congrès.
COMPUTERS > Software Development & Engineering > Quality Assurance & Testing.
Computer security
Computer software > Verification
Conference papers and proceedings
Acceso en línea:Texto completo

Internet

Texto completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares