-
题名嵌入式系统可信平台模块研究
被引量：40
- 1
-
-
作者
张焕国
李晶
潘丹铃
赵波
-
机构
武汉大学计算机学院武汉
空天信息安全与可信计算教育部重点实验室武汉大学武汉
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2011年第7期1269-1278,共10页
-
基金
国家自然科学基金项目(60970115,61003268,91018008)
湖北省自然科学基金重点项目(2009429)
+1 种基金
中央高校基本科研业务费专项基金项目(3101038)
武汉大学国防培育基金项目(29)
-
文摘
如何有效增强嵌入式系统的安全性是信息安全领域研究的热点和难点之一.相关研究表明,可信平台模块对于有效提高信息系统的安全性十分重要.然而,现有的可信平台模块是为个人计算机设计的,并不能满足嵌入式系统特有的应用需求.针对上述问题,设计了一种适应嵌入式环境的新型嵌入式可信平台模块(embedded trusted platform module,ETPM).作为嵌入式可信平台模块的重要组成部分,总线仲裁提高了ETPM的控制能力,增强了嵌入式系统的安全性;对称密码引擎提高了嵌入式系统的对称密码运算效率;系统备份恢复增强了嵌入式系统的可靠性.除此之外,ETPM还能够支持嵌入式平台的星型信任度量模型.这一设计已经在可信PDA中进行了实验验证,实验表明嵌入式可信平台模块是实用、高效、可靠、安全的.
-
关键词
信息安全
可信计算
嵌入式系统
可信平台模块
嵌入式系统可信平台模块
-
Keywords
information security
trusted computing
embedded system
trusted platform module
embedded trusted platform module
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名容忍非信任组件的可信终端模型研究
被引量：6
- 2
-
-
作者
秦晰
常朝稳
沈昌祥
高丽
-
机构
信息工程大学电子技术学院
北京工业大学
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2011年第4期934-939,共6页
-
基金
国家863高技术研究发展计划(No.2007AA01Z479)
-
文摘
可信计算规范要求可信计算平台上运行的所有组件均要保证可信,这一机制严重制约了可信计算平台的应用.本文提出一种容忍非信任组件的可信终端模型,与现有可信计算平台相比,该模型允许非信任组件的存在,但同时能保证安全结果可预测和可控性.模型分为可信域和容忍非信任组件的不可信域.基于信息流无干扰理论和域间无干扰思想,给出非信任组件容忍机制并推导出可信终端应满足的充分条件.在此基础上给出具体的物理模型设计,并证明该模型为可信终端模型.
-
关键词
可信终端模型
非信任组件
无干扰
嵌入式可信系统
-
Keywords
trusted terminal model
untrusted components
non-interference
embedded trusted system
-
分类号
TP309.2
[自动化与计算机技术—计算机系统结构]
-
