留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

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

陈文智 黄炜

陈文智, 黄炜. SmartMK:基于TPM的可信多内核操作系统架构[J]. 武汉大学学报 ( 信息科学版), 2008, 33(10): 1034-1037.
引用本文: 陈文智, 黄炜. SmartMK:基于TPM的可信多内核操作系统架构[J]. 武汉大学学报 ( 信息科学版), 2008, 33(10): 1034-1037.
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.
Citation: 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.

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

基金项目: 国家973计划资助项目(2007CB310900);国家基础科研资助项目(A142008190)
详细信息
    作者简介:

    陈文智,副教授,主要研究方向为嵌入式实时系统、虚拟化技术。

  • 中图分类号: TP316

SmartMK:TPM-based Trusted Multi-Kernel Operating System Architecture

Funds: 国家973计划资助项目(2007CB310900);国家基础科研资助项目(A142008190)
计量
  • 文章访问数:  716
  • HTML全文浏览量:  39
  • PDF下载量:  165
  • 被引次数: 0
出版历程
  • 收稿日期:  2013-07-09
  • 修回日期:  2013-07-09
  • 刊出日期:  2008-10-05

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

    基金项目:  国家973计划资助项目(2007CB310900);国家基础科研资助项目(A142008190)
    作者简介:

    陈文智,副教授,主要研究方向为嵌入式实时系统、虚拟化技术。

  • 中图分类号: TP316

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

English Abstract

陈文智, 黄炜. SmartMK:基于TPM的可信多内核操作系统架构[J]. 武汉大学学报 ( 信息科学版), 2008, 33(10): 1034-1037.
引用本文: 陈文智, 黄炜. SmartMK:基于TPM的可信多内核操作系统架构[J]. 武汉大学学报 ( 信息科学版), 2008, 33(10): 1034-1037.
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.
Citation: 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.

目录

    /

    返回文章
    返回