Software Safety and Security.

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
Autor principal: Nipkow, T.
Otros Autores: Grumberg, O., Hauptmann, B.
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Amsterdam : IOS Press, 2012.
Temas:
Computer software > Verification > Congresses.
Computer security > Congresses.
Logiciels > Vérification > Congrès.
Sécurité informatique > Congrès.
Computer security
Computer software > Verification
Conference papers and proceedings
Acceso en línea:Texto completo
Descripción
Sumario: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 something of a breakthrough in the area of operating system verification. This book presents the lectures from the NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security; a summer school held at Bayrischzell, Germany, in 2011. This Advanced Study Institute was.
Descripción Física:1 online resource (400 pages)
ISBN:9781614990284
161499028X

Ejemplares similares