Formal Logical Methods for System Security and Correctness

Formal Logical Methods for System Security and Correctness

eBook - 2008
Rate this:
Book News
Grumberg (Technion, Israel), Nipkow (Technische U. München, Germany), and Pfaller (Technische U. München) present the proceedings of the July/August 2007 NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness, which was convened in order to "present the state-of-the-art in the field of proof technology in connection with secure and correct software." The proceedings cover both theoretical foundations and industrial practice. The 12 papers presented discuss compilation of certificates; formal foundations of computer security; building a software model checker; automatic refinement and vacuity detection in symbolic trajectory evaluation; 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; and proof theory, large functions, and combinatorics. Annotation ©2009 Book News, Inc., Portland, OR (

Publisher: Amsterdam, Netherlands ; Washington, DC : IOS Press, ©2008
ISBN: 9781435677883
Characteristics: 1 online resource (ix, 318 pages) : illustrations


From the critics

Community Activity


Add a Comment

There are no comments for this title yet.

Age Suitability

Add Age Suitability

There are no age suitabilities for this title yet.


Add a Summary

There are no summaries for this title yet.


Add Notices

There are no notices for this title yet.


Add a Quote

There are no quotes for this title yet.

Explore Further

Subject Headings


Find it at FSJPL

To Top