Formal Logical Methods for System Security and Correctness
Author | : Orna Grumberg |
Publisher | : |
Total Pages | : 318 |
Release | : 2008 |
ISBN-10 | : 6000004273 |
ISBN-13 | : 9786000004279 |
Rating | : 4/5 (73 Downloads) |
Download or read book Formal Logical Methods for System Security and Correctness written by Orna Grumberg and published by . This book was released on 2008 with total page 318 pages. Available in PDF, EPUB and Kindle. Book excerpt: Offers information in the field of proof technology in connection with secure and correct software. This title shows 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.