Formal Logical Methods for System Security and Correctness
Formal Logical Methods for System Security and Correctness
复制标题
DOI：
--
复制
发表时间：
2008-03
期刊：
影响因子：
--
通讯作者：
O. Grumberg;T. Nipkow;C. Pfaller
中科院分区：
文献类型：
--
作者：
O. Grumberg;T. Nipkow;C. Pfaller
本出版物的目的是介绍与安全和正确的软件有关的证明技术领域的最新技术。贡献者已经表明，正确的施工程序和工艺合成的方法允许一个高层次的编程方法更适合于安全性和可靠性的分析和保证。通过提供必要的理论背景和提出相应的面向应用的概念，目标是深入介绍这些方法，涵盖理论基础和工业实践。IOS出版社是一家国际科学，技术和医学出版社，为学术界，科学家和各领域的专业人士提供高质量的书籍。我们发表的一些领域：-生物医学-肿瘤学-人工智能-数据库和信息系统-海事工程-纳米技术-地球工程-物理学的各个方面-电子政务-电子商务-知识经济-城市研究-军备控制-理解和应对恐怖主义-医学信息学-计算机科学
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