Formal Logical Methods for System Security and Correctness

by Orna Grumberg, Tobias Nipkow, Christian Pfaller

Overview

The objective of this publication is to present the state-of-the-art in the field of proof technology in connection with secure and correct software. The contributors have shown 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. By providing the necessary theoretical background and presenting corresponding application oriented concepts, the objective is an in-depth presentation of such methods covering both theoretical foundations and industrial practice.

Product Details

ISBN-13:	9781586038434
Publisher:	I O S Press, Incorporated
Publication date:	05/15/2008
Pages:	319
Product dimensions:	6.50(w) x 9.70(h) x 1.00(d)