| SmartMK：基于TPM的可信多内核操作系统架构 |
| |
| 引用本文： | 陈文智,黄炜.SmartMK：基于TPM的可信多内核操作系统架构[J].武汉大学学报(信息科学版),2008,33(10):1034-1037. |
| |
| 作者姓名： | 陈文智 黄炜 |
| |
| 作者单位： | 浙江大学计算机学院,杭州市浙大路38号,310027 |
| |
| 基金项目： | 国家重点基础研究发展计划(973计划)，国家基础科研项目 |
| |
| 摘 要： | 提出了一个多内核架构SmartMK来支撑不同安全等级和类别的应用.基于TPM和新的CPU安全技术,实现了多内核之间的强隔离与安全通信机制,以软硬件协同保护的方式实现安全的操作系统运行环境.在SmartMK架构上提出了分层次的强制访问控制方模型,进一步降低复杂环境中的访问控制复杂度.性能测试和实际应用都表明,SmartMK能够有效加强系统的安全性,同时很好地保证了系统的运行效率.
|
| 关 键 词： | 多内核 可信操作系统 分层次强制访问控制 可信计算基 |
SmartMK. TPM-based Trusted Multi-Kernel Operating System Architecture |
| |
| CHEN Wenzhi,HUANG Wei.SmartMK. TPM-based Trusted Multi-Kernel Operating System Architecture[J].Geomatics and Information Science of Wuhan University,2008,33(10):1034-1037. |
| |
| Authors: | CHEN Wenzhi HUANG Wei |
| |
| Abstract: | |
| |
| Keywords: | TPM |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
