03769nam 2200685 a 450 991046243750332120200520144314.066137172151-280-87590-997866137172141-61499-028-X(CKB)2670000000210659(EBL)948331(OCoLC)797917368(SSID)ssj0000739299(PQKBManifestationID)12367125(PQKBTitleCode)TC0000739299(PQKBWorkID)10686905(PQKB)11718684(MiAaPQ)EBC948331(Au-PeEL)EBL948331(CaPaEBR)ebr10574718(CaONFJC)MIL371721(EXLCZ)99267000000021065920120417d2012 uy 0engur|n|---|||||txtccrSoftware safety and security[electronic resource] tools for analysis and verification /edited by Tobias Nipkow, Orna Grumberg and Benedikt HauptmannWashington, D.C. IOS Press20121 online resource (400 p.)NATO science for peace and security series. Sub-series D, Information and communication security,1874-6268 ;v. 33"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.1-61499-027-1 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 ControlPrecise Program Analysis through Strategy Iteration and OptimizationSubject Index; Author IndexRecent 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 wasNATO science for peace and security series.Sub-series D,Information and communication security ;v. 33.Computer softwareVerificationCongressesComputer securityCongressesElectronic books.Computer softwareVerificationComputer security005Nipkow Tobias1958-62010Grumberg Orna67499Hauptmann Benedikt1027227NATO Emerging Security Challenges Division.NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and SecurityMiAaPQMiAaPQMiAaPQBOOK9910462437503321Software safety and security2442554UNINA