The foundations of a provably secure operating system (PSOS)

1979 International Workshop on Managing Requirements Knowledge (MARK) Pub Date : 1979-06-01 DOI:10.1109/MARK.1979.8817256

R. Feiertag, P. Neumann

引用次数: 117

Abstract

PSOS has been designed according to a set of formal techniques embodying the SRI Hierarchical Development Methodology (HDM). HDM has been described elsewhere, 1 – 3 and thus is only summarized here. The influence of HDM on the security of PSOS is also discussed elsewhere. 4 In addition, Linden 5 gives a general discussion of the impact of structured design techniques on the security of operating systems (including capability systems).

查看原文本刊更多论文

可证明的安全操作系统(PSOS)的基础

PSOS是根据一套体现SRI分层开发方法(HDM)的正式技术设计的。HDM已在其他地方描述，1 - 3，因此仅在这里总结。HDM对PSOS安全性的影响也在其他地方进行了讨论。4此外，Linden 5给出了结构化设计技术对操作系统(包括能力系统)安全性的影响的一般性讨论。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

1979 International Workshop on Managing Requirements Knowledge (MARK)

自引率

0.00%

发文量