SmartMK:基于TPM的可信多内核操作系统架构

摘要：

提出了一个多内核架构SmartMK来支撑不同安全等级和类别的应用。基于TPM和新的CPU安全技术,实现了多内核之间的强隔离与安全通信机制,以软硬件协同保护的方式实现安全的操作系统运行环境.在SmartMK架构上提出了分层次的强制访问控制方模型,进一步降低复杂环境中的访问控制复杂度.性能测试和实际应用都表明,SmartMK能够有效加强系统的安全性,同时很好地保证了系统的运行效率。

关键词： TPM 多内核 可信操作系统 分层次强制访问控制 可信计算基 SmartMK

作者: 陈文智 黄炜

作者单位: 浙江大学计算机学院,杭州市浙大路38号,310027

会议类型: 国内会议

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

会议地点: 郑州

会议语种:中文

页码: 1034-1037

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