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 (booknews.com)

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

Opinion

From the critics


Community Activity

Comment

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.

Summary

Add a Summary

There are no summaries for this title yet.

Notices

Add Notices

There are no notices for this title yet.

Quotes

Add a Quote

There are no quotes for this title yet.

Explore Further

Subject Headings

  Loading...

Find it at FSJPL

  Loading...
[]
[]
To Top