Return to home page
Searching: Muskingum library catalog
We are currently experiencing delivery delays for items requested from other institutions while transitioning to a new statewide delivery service. Please contact your library with questions or advice about alternative resources. Thank you for your patience!
Record 4 of 7
  Previous Record Previous Item Next Item Next Record
  Reviews, Summaries, etc...
EBOOK
Conference NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness (2007 : Marktoberdorf, Germany)
Title Formal logical methods for system security and correctness / edited by Orna Grumberg, Tobias Nipkow and Christian Pfaller.
Imprint Amsterdam, Netherlands ; Washington, DC : IOS Press, ©2008.

Conference NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness (2007 : Marktoberdorf, Germany)
Series NATO science for peace and security series. D, Information and communication security, 1874-6268 ; v. 14
NATO science for peace and security series. Sub-series D, Information and communication security ; v. 14.
Subject Computer security -- Congresses.
Computer logic -- Congresses.
Alt Name Grumberg, Orna.
Nipkow, Tobias, 1958-
Pfaller, Christian.
Description 1 online resource (ix, 318 pages) : illustrations.
Note "Proceedings of the NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness, Marktoberdorf, Germany, 31 July-12 August 2007"--Title page verso.
Bibliography Note Includes bibliographical references and index.
Note Print version record.
Contents 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 Combinatorics.
Summary Offers 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.
Note English.
ISBN 9781435677883 (electronic bk.)
1435677889 (electronic bk.)
9781607503156
1607503158
9781586038434
1586038435
6611733469
1281733466
9781281733467
9786611733469
6000004273
9786000004279
1433712334
9781433712333
OCLC # 506072610
Additional Format Print version: NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness (2007 : Marktoberdorf, Germany). Formal logical methods for system security and correctness. Amsterdam, Netherlands ; Washington, DC : IOS Press, ©2008 9781586038434 1586038435 (DLC) 2008922610 (OCoLC)221166019



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