一种新的操作系统安全模型

被引：46

作者：

李益发 ^{[1
]}

沈昌祥 ^{[2
]}

机构：

[1] 信息工程大学信息工程学院

[2] 海军计算技术研究所

来源：

关键词：

操作系统; 安全模型; BLP; Biba; 形式化证明;

D O I：

暂无

中图分类号：

TP316 [操作系统];

学科分类号：

081205 [计算机软件];

摘要：

机密性和完整性是操作系统安全的两个重要特性,BLP模型只解决了机密性的问题,而Biba模型只解决了完整性的问题,其他模型也都类似,无法使二者同时兼顾.基于一个特殊可信主体,提出了一种新的操作系统安全模型,融合了以上两种模型,可以同时保持机密性与完整性.

引用

页码：347 / 356

页数：10