Formal Logical Methods for System Security and Correctness
Orna Grumberg, Orna Grumberg, Tobias Nipkow, Christian Pfaller
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
年:
2008
出版社:
IOS Press
语言:
english
页:
332
ISBN 10:
1435677889
ISBN 13:
9781586038434
系列:
Nato Science for Peace and Security
文件:
PDF, 1.73 MB
IPFS:
,
english, 2008