Formal Logical Methods for System Security and Correctness
IOS Press | 2008-03-15 | ISBN: 1586038435 | 332 pages | PDF | 1,9 MB
IOS Press | 2008-03-15 | ISBN: 1586038435 | 332 pages | PDF | 1,9 MB
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.