Formal Logical Methods for System Security and Correctness
- 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
- 978-1-58603-843-4
- Subject
- Computer & Communication Sciences
€115 / US$161
Excl. VAT
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.