3 options
Software safety and security : tools for analysis and verification / edited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann.
- Format:
- Book
- Conference/Event
- Author/Creator:
- NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security, Corporate Author.
- Conference Name:
- NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security (2011 : Bayrischzell, Germany)
- NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security
- Series:
- NATO science for peace and security series. Information and communication security ; Sub-series D, v. 33.
- NATO science for peace and security series. Sub-series D, Information and communication security, 1874-6268 ; v. 33
- Language:
- English
- Subjects (All):
- Computer software--Verification--Congresses.
- Computer software.
- Computer security--Congresses.
- Computer security.
- Physical Description:
- 1 online resource (400 p.)
- Edition:
- 1st ed.
- Place of Publication:
- Washington, D.C. : IOS Press, 2012.
- Language Note:
- English
- Summary:
- 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
- Contents:
- 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
- Notes:
- "Published in cooperation with NATO Emerging Security Challenges Division."
- "Proceedings of the NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security, Bayrischzell, Germany, 2-14 August 2011"--T.p. verso.
- Includes indexes.
- ISBN:
- 6613717215
- 1-280-87590-9
- 9786613717214
- 1-61499-028-X
- OCLC:
- 796813034
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.