Formal Logical Methods for System Security and Correctness

Note: Supplemental materials are not guaranteed with Rental or Used book purchases.

Summary

"This Series presents the results of scientific meetings supported under the NATO Programme: Science for Peace and Security (SPS)."--BOOK JACKET.

Please wait while the item is added to your bag...

Compilation of Certificates	p. 1
Formal Foundations of Computer Security	p. 29
Building a Software Model Checker	p. 53
Symbolic Trajectory Evaluation (STE): Automatic Refinement and Vacuity Detection	p. 89
Automated and Interactive Theorem Proving	p. 111
Correctness of Effect-Based Program Transformations	p. 149
Abstract and Concrete Models for Recursion	p. 175
Secrecy Analysis in Protocol Composition Logic	p. 199
The Engineering Challenges of Trustworthy Computing	p. 233
Reflecting Quantifier Elimination for Linear Arithmetic	p. 245
Content in Proofs of List Reversal	p. 267
Proof Theory, Large Functions and Combinatorics	p. 287
Author Index	p. 319
Table of Contents provided by Blackwell. All Rights Reserved.