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

摘要

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