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

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Collectivités auteurs: NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security Bayrischzell, Germany, IOS Press (Firm)
Autres auteurs: Nipkow, Tobias, 1958-, Grumberg, Orna, Hauptmann, Benedikt
Format: Électronique Actes de congrès eBook
Langue:Inglés
Publié: Amsterdam ; Washington, D.C. : IOS Press, ©2012.
Collection:NATO science for peace and security series. Information and communication security ; v. 33.
Sujets:
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
Accès en ligne:Texto completo
Table des matières:
  • SOFTWARE SAFETY AND SECURITY; Preface; Contents; Mechanizing Game-Based Proofs of Security Protocols; Formal Security Proofs; Model Checking: From BDDs to Interpolation; Interactive Proof: Applications to Semantics; Advances in Probabilistic Model Checking; Getting Started with Dafny: A Guide; Lecture Notes on Software Model Checking; Boolean Satisfiability Solvers: Techniques and Extensions; Interactive Proof: Introduction to Isabelle/HOL; A Primer on Separation Logic (and Automatic Program Verification and Analysis); A Perspective on Information-Flow Control
  • Precise Program Analysis through Strategy Iteration and OptimizationSubject Index; Author Index

Documents similaires