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.IOS Press is an international science, technical and medical publisher of high-quality books for academics, scientists, and professionals in all fields.     Some of the areas we publish in:    -Biomedicine   -Oncology   -Artificial intelligence   -Databases and information systems   -Maritime engineering   -Nanotechnology   -Geoengineering   -All aspects of physics   -E-governance   -E-commerce   -The knowledge economy   -Urban studies   -Arms control   -Understanding and responding to terrorism   -Medical informatics   -Computer Sciences

Formal Logical Methods for System Security and Correctness PDF

The list of books you might like