TCB可信扩展模型研究

doi:10.3778/j.issn.1002-8331.2010.13.001

计算机工程与应用 ›› 2010, Vol. 46 ›› Issue (13): 1-3.DOI: 10.3778/j.issn.1002-8331.2010.13.001

TCB可信扩展模型研究

李勇¹，王飞²，胡俊³，沈昌祥³

1.解放军信息工程大学电子技术学院，郑州 450004
2.解放军装备指挥技术学院，北京 101416
3.北京工业大学计算机学院，北京　100022

收稿日期:2010-01-25 修回日期:2010-03-12 出版日期:2010-05-01 发布日期:2010-05-01
通讯作者: 李勇

Research of trusted expand model of TCB

LI Yong¹，WANG Fei²，HU Jun³，SHEN Chang-xiang³

1.Institute of Electronic Technology，PLA Information Engineering University，Zhengzhou 450004，China
2.PLA Institute of Equipment Command Technology，Beijing 101416，China
3.Institute of Computer，Beijing University of Technology，Beijing 100022，China

Received:2010-01-25 Revised:2010-03-12 Online:2010-05-01 Published:2010-05-01
Contact: LI Yong

摘要/Abstract

摘要： TCB的可信性与系统安全密切相关。随着TCB边界的不断扩大，保证TCB边界可信扩展成为信息安全防范的重要环节。目前针对TCB扩展的研究主要集中在技术层面，理论研究相对欠缺。基于可信计算思想研究了TCB可信扩展模型，依据安全策略将TCB层次化分割为TCB子集，形式化描述了TCB子集之间的可信支撑关系，证明了TCB可信扩展性的必要条件，提出了模型的实施框架。

关键词: 可信计算, 可信计算基（TCB）, 可信计算基（TCB）子集

Abstract: TCB is the collectivity of the computer’s protector，which influences the security of system.With the development of the information technology，the boundary of TCB has been expanded.The validity of the TCB expanding becomes more and more important for information security.At present most of the researches of TCB are focused on the technology of trusted chain，and there is almost no theory research.This paper puts forward Trusted Expand Model of TCB（TEMT） based on the idea of trusted computing，in which TCB is divided into several TCB subsets.The trusted support relation between TCB subsets is formally described，and an important theorem is proved.At last an implement framework is proposed.

Key words: trusted computing, Trusted Computing Base（TCB）, Trusted Computing Base（TCB） subset

中图分类号:

TP309

李勇¹，王飞²，胡俊³，沈昌祥³. TCB可信扩展模型研究[J]. 计算机工程与应用, 2010, 46(13): 1-3.

LI Yong¹，WANG Fei²，HU Jun³，SHEN Chang-xiang³. Research of trusted expand model of TCB[J]. Computer Engineering and Applications, 2010, 46(13): 1-3.

[1]	何利文，侯小宇，唐澄澄，周睿，张幸宁. 面向异构BIOS环境的Rootkit通用性检测方法[J]. 计算机工程与应用, 2019, 55(23): 105-112.
[2]	王勇1，2，尚文利2，赵剑明2，万明2，苑薇薇1. 基于TPM的嵌入式可信计算平台设计[J]. 计算机工程与应用, 2018, 54(13): 105-110.
[3]	马亮，钱雪忠. 基于可信计算的Web服务调用关键路径研究[J]. 计算机工程与应用, 2016, 52(3): 230-235.
[4]	尚京，徐开勇，杨启超. 一种面向集中管控系统的计算机可信启动架构[J]. 计算机工程与应用, 2015, 51(17): 64-69.
[5]	赵　　波1，2，费永康1，2，向　　騻1，2，李逸帆1，2. 嵌入式系统的安全启动机制研究与实现[J]. 计算机工程与应用, 2014, 50(10): 72-77.
[6]	程戈，李聪. 可信计算环境构建机制研究进展[J]. 计算机工程与应用, 2013, 49(13): 59-64.
[7]	刘澜，袁道华，童星，王钟磊. 一种针对可信计算平台的分布式可信验证机制[J]. 计算机工程与应用, 2012, 48(2): 99-102.
[8]	种惠芳，吴振强，王海燕. 基于属性的自证实模型及其安全协议[J]. 计算机工程与应用, 2011, 47(7): 110-113.
[9]	盖新貌1，2，沈昌祥2，3，李勇2，4，刘毅3. 一种面向结构化保护的组件层次划分方法[J]. 计算机工程与应用, 2011, 47(36): 25-28.
[10]	杨蓓，吴振强，杨小勃. 基于可信计算的多级安全模型[J]. 计算机工程与应用, 2011, 47(27): 122-125.
[11]	李勇1，李光2，沈昌祥3. 可信管道模型研究[J]. 计算机工程与应用, 2011, 47(26): 70-73.
[12]	马华1，张红宇2. 结合可信度模糊评价与动态聚类的构件选择[J]. 计算机工程与应用, 2011, 47(21): 73-76.
[13]	陈楠，朱建明. 一种可信的网上银行认证协议的分析与设计[J]. 计算机工程与应用, 2011, 47(12): 65-68.
[14]	王海燕，吴振强，种慧芳，蒋李. 可信计算环境下基于TPM的认证密钥协商协议[J]. 计算机工程与应用, 2010, 46(35): 115-118.
[15]	龚雷^1，2，3，赵勇³，韩培胜^1，3，李瑜³. 典型应用系统安全保护框架研究[J]. 计算机工程与应用, 2010, 46(28): 90-93.

TCB可信扩展模型研究

Research of trusted expand model of TCB

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics