Formal Logical Methods for System Security and Correctness

Share
Editors
Grumberg, O., Nipkow, T., Pfaller, C.
Pub. date
March 2008
Pages
332
Binding
hardcover
Volume
14 of NATO Science for Peace and Security Series - D: Information and Communication Security
ISBN print
978-1-58603-843-4
ISBN online
978-1-60750-315-6
Subject
Computer & Communication Sciences
€115 / US$161 Excl. VAT
Order Formal Logical Methods for System Security and Correctness ISBN @ €115.00
Order Ebook

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.