基于可信计算的安全操作系统

摘要：

为解决高安全操作系统在保密性、完整性、统一多级访问控制模型可用性差等问题,本文为安全操作系统引入了可信计算(TCPA)技术,增强其安全性.依据TCPA所提出的可信计算平台原理在对BLP模型基于可信计算的改进研究的基础上,提出基于可信计算的安全操作系统设计方案.对BLP模型的改进,可信路径、安全审计、最小特权管理机制等安全功能的实现,使安全操作系统更加安全和可靠.可信计算技术还为安全操作系统的兼容性提供了新的思路.

关键词： 可信计算 安全操作系统 BLP模型

作者: 蔡勉 金怡 聂晓伟

作者单位: 北京工业大学,电子信息与控制工程学院,北京,100022 中国科学院研究生院,国家信息安全重点实验室,北京,100049

会议类型: 国内会议

会议名称: 第二届中国可信计算与信息安全学术会议

会议地点: 河北保定

会议语种:中文

页码: 698-701

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