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...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Nipkow, T.
Other Authors: Grumberg, O., Hauptmann, B.
Format: Electronic eBook
Language:Inglés
Published: Amsterdam : IOS Press, 2012.
Subjects:
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
Online Access:Texto completo

Internet

Texto completo

Error inesperado del formato de respuesta.
Holdings details from

Similar Items