基于特殊可信主体的操作系统安全模型

摘要：

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

关键词： 操作系统 安全模型 形式化证明 可信主体

作者: 李益发 姜放 马涛 沈昌祥

作者单位: 郑州信息工程大学信息工程学院,450002 国家保密技术研究所 南航河南公司 海军计算技术研究所

会议类型: 国内会议

会议名称: 中国计算机学会信息保密专业委员会2005年学术年会

会议地点: 四川绵阳

会议语种:中文

页码: 223-231

在线出版日期: 2005-10-01（万方平台首次上网日期，不代表论文的发表时间）