Return to home page
Searching: Muskingum library catalog
While many OPAL libraries have resumed lending and borrowing, some continue to operate at reduced service levels or limit in-person use to their campus community. Note that pickup services and procedures may differ between libraries. Please contact your library regarding open hours, pickup procedures, specific requests, or other assistance.
Record 7 of 7
  Previous Record Previous Item Next Item Next Record
  Reviews, Summaries, etc...
EBOOK
Conference NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security (2011 : Bayrischzell, Germany)
Title Software safety and security : tools for analysis and verification / edited by Tobias Nipkow, Orna Grumberg, and Benedikt Hauptmann.
Imprint Amsterdam ; Washington, D.C. : IOS Press, ©2012.

Conference NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security (2011 : Bayrischzell, Germany)
Series NATO science for peace and security series. D, Information and communication security ; v. 33
NATO science for peace and security series. Sub-series D, Information and communication security ; v. 33.
Subject Computer software -- Verification -- Congresses.
Computer security -- Congresses.
Alt Name Nipkow, Tobias, 1958-
Grumberg, Orna.
Hauptmann, Benedikt.
IOS Press (Firm)
Description 1 online resource : illustrations.
Note "Proceedings of the NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security, Bayrischzell, Germany, 2-14 August 2011"--Title page verso.
International conference proceedings.
Includes indexes.
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 divided into three integrated modules: Foundations of Safety and Security, Applications of Safety Analysis and Security Analysis. Subjects covered include mechanized game-based proofs of security protocols, formal security proofs, model checking, using and building an automatic program verifier and a hands-on introduction to interactive proofs. Bringing together many leading international experts in the field, this NATO Advanced Study Institute once more proved invaluable in facilitating the connections which will influence the quality of future research and the potential to transfer research into practice. This book will be of interest to all those whose work depends on the safety and security of software systems.
Bibliography Note Includes bibliographical references and indexes.
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
ISBN 9781614990284 (electronic bk.)
161499028X (electronic bk.)
1280875909
9781280875908
9781614990277
1614990271
OCLC # 796813034
Additional Format Print version: NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security (2011 : Bayrischzell, Germany). Software safety and security. Amsterdam ; Washington, D.C. : IOS Press, ©2012 (DLC) 2012937823


If you experience difficulty accessing or navigating this content, please contact the OPAL Support Team