Description |
1 online resource (ix, 318 pages) : illustrations |
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.
|
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 |
Notes |
"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 |
Includes bibliographical references and index |
Notes |
English |
|
Print version record |
Subject |
Computer security -- Congresses
|
|
Computer logic -- Congresses
|
|
COMPUTERS -- Internet -- Security.
|
|
COMPUTERS -- Networking -- Security.
|
|
COMPUTERS -- Security -- General.
|
|
Computer logic
|
|
Computer security
|
Genre/Form |
Conference papers and proceedings
|
Form |
Electronic book
|
Author |
Grumberg, Orna.
|
|
Nipkow, Tobias, 1958-
|
|
Pfaller, Christian.
|
LC no. |
2008922610 |
ISBN |
9781435677883 |
|
1435677889 |
|
9781607503156 |
|
1607503158 |
|
6611733469 |
|
1281733466 |
|
9781281733467 |
|
9786611733469 |
|
6000004273 |
|
9786000004279 |
|
1433712334 |
|
9781433712333 |
|