A Provably Secure Operating System.
A Provably Secure Operating System.
复制标题
一个可证明安全的操作系统。
DOI：
--
复制
发表时间：
1975
期刊：
影响因子：
--
通讯作者：
A. Saxena
中科院分区：
文献类型：
--
作者：
P. Neumann;L. Robinson;K. Levitt;R. Boyer;A. Saxena
翻译后摘要：本报告总结了迄今为止的工作，对一个可证明的安全操作系统的发展。这里讨论的是：（1）用于设计、实现和证明大型计算系统的属性的方法，（2）使用该方法设计安全操作系统，（3）关于该系统要证明的安全属性，（4）实现这样的系统的考虑，以及（5）监视安全性和性能的方法。
Abstract : This report summarizes work to date toward the development of a provable secure operating system. Discussed here are: (1) a methodology for the design, implementation, and proof of properties of large computing systems, (2) design of a secure operating system using this methodology, (3) the security properties to be proven about this system, (4) considerations for implementing such a system, and (5) an approach to monitoring security and performance.