03347nam 2200697Ia 450 991045384000332120200520144314.066117334691-281-73346-697866117334691-4356-7788-91-60750-315-8600-00-0427-31-4337-1233-4(CKB)1000000000542528(EBL)346214(OCoLC)437213124(SSID)ssj0000157228(PQKBManifestationID)11149915(PQKBTitleCode)TC0000157228(PQKBWorkID)10138573(PQKB)10322913(MiAaPQ)EBC346214(Au-PeEL)EBL346214(CaPaEBR)ebr10231732(CaONFJC)MIL173346(EXLCZ)99100000000054252820080407d2008 uy 0engur|n|---|||||txtccrFormal logical methods for system security and correctness[electronic resource] /edited by Orna Grumberg, Tobias Nipkow and Christian PfallerAmsterdam, Netherlands ;Washington, DC IOS Pressc20081 online resource (332 p.)NATO security through science series. D, Information and communication security,1874-6268 ;v. 14"Proceedings of the NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness, Marktoberdorf, Germany, 31 July-12 August 2007."--T.p. verso.1-58603-843-5 Includes bibliographical references and index.Title page; Preface; Contents; Compilation of Certificates; Formal Foundations of Computer Security; Building a Software Model Checker; Symbolic Trajectory Evaluation (STE): Automatic Refinement and Vacuity Detection; Automated and Interactive Theorem Proving; Correctness of Effect-Based Program Transformations; Abstract and Concrete Models for Recursion; Secrecy Analysis in Protocol Composition Logic; The Engineering Challenges of Trustworthy Computing; Reflecting Quantifier Elimination for Linear Arithmetic; Content in Proofs of List Reversal; Proof Theory, Large Functions and CombinatoricsAuthor IndexOffers information in the field of proof technology in connection with secure and correct software. This title shows that methods of correct-by-construction program and process synthesis allow a high level programming method more amenable to security and reliability analysis and guarantees.NATO security through science series.D,Information and communication security ;v. 14.Computer securityCongressesComputer logicCongressesElectronic books.Computer securityComputer logic005.8Grumberg Orna67499Nipkow Tobias1958-62010Pfaller Christian1046388NATO Advanced Study Institute on Formal Logical Methods for System Security and CorrectnessMiAaPQMiAaPQMiAaPQBOOK9910453840003321Formal logical methods for system security and correctness2473255UNINA