一种可信计算平台完整性度量的新模型

doi:10.3969/j.issn.1671-1122.2016.06.002

信息网络安全 ›› 2016, Vol. 16 ›› Issue (6): 8-14.doi: 10.3969/j.issn.1671-1122.2016.06.002

一种可信计算平台完整性度量的新模型

邢彬(), 刘吉强, 韩臻

北京交通大学计算机与信息技术学院,北京100044

收稿日期:2016-04-18 出版日期:2016-06-20 发布日期:2020-05-13
作者简介:
作者简介：邢彬（1984—）,男,河北,博士研究生,主要研究方向为云计算、虚拟化和可信计算;刘吉强（1973—）,男,北京,教授,博士,主要研究方向为应用密码学、安全协议和隐私保护;韩臻（1962—）,男,北京,教授,博士,主要研究方向为信息安全体系结构、可信计算和云计算。
基金资助:
国家自然科学基金[61572066];高等学校博士学科点专项科研基金[20120009110007];发改委信息安全专项[20131309]

A New Model for Measuring the Integrity of Trusted Computing Platforms

Bin XING(), Jiqiang LIU, Zhen HAN

School of Computer and Information Technology, Beijing Jiaotong University, Beijing 100044, China

Received:2016-04-18 Online:2016-06-20 Published:2020-05-13

摘要/Abstract

摘要：

可信计算技术通过改变传统计算机的体系结构进一步增强了终端计算平台的安全性。现有用于描述可信计算平台建立过程的链式、星型和树型信任传递模型虽然能够记录计算平台中各个实体的度量结果,但是不能很好地描述这些实体间的调用和依赖关系。同时,这些模型也没有对完整性度量的时间条件进行约束,使得这些模型会因静态度量而存在TOC-TOU等安全隐患。针对上述这些问题,文章提出了一种新的描述可信计算平台建立和完整性度量的模型,即度量区域模型。该模型能够更全面地描述计算平台的完整性状态、更加灵活地描述计算平台的状态转移和信任传递过程,同时进一步放宽了对实体进行完整性度量的时间条件,使安全的预先度量成为可能。度量区域模型不仅能够兼容于现有的链式、星型和树型信任传递模型,而且能很好地应用于很多应用场景中。

关键词: 可信计算, 信任传递, 完整性度量, 度量区域

Abstract:

The existing chain-style, star-style, and tree-style trust transmission models, which are used for presenting the establishment process of trusted computing platform, can record the measurement results of the entities in the platform. Nevertheless, these models not only have some shortcomings in describing the invoking and dependence relationships between the entities, but also don’t focus on the time limitation of the integrity measurement, which might make the models be suffered from the threats such as TOC-TOU. To overcome these weakness, a new model for describing establishment process of trusted computing platform and integrity measurement is proposed, namely Measured Zone. This model can describe the integrity statuses comprehensively; describe the state transition and trust transmission flexibly; and reduce the time limitation of integrity measurement, which makes the beforehand measurement more secure.

Key words: trusted computing, trust transmission, integrity measurement, measured zone

中图分类号:

TP309

邢彬, 刘吉强, 韩臻. 一种可信计算平台完整性度量的新模型[J]. 信息网络安全, 2016, 16(6): 8-14.

Bin XING, Jiqiang LIU, Zhen HAN. A New Model for Measuring the Integrity of Trusted Computing Platforms[J]. Netinfo Security, 2016, 16(6): 8-14.

图/表 3

参考文献 10

[1]	Trusted Computing Group.TPM Main Specification Version 1.2, Part 1 Design Principles[EB/OL]. . 2007.
[2]	Trusted Computing Group. TCG Specification Architecture Overview Revision 1.4[EB/OL]. . 2007.
[3]	赵波, 张焕国, 李晶. 可信PDA计算平台系统结构与安全机制[J]. 计算机学报, 2010, 33(1): 82-92.
[4]	LI C, LI R, ZHUANG L, ZHANG X.Formal Analysis of Trust Chain[C]//IEEE. International Conference on Networks Security Wireless Communications and Trusted Computing, April 24-25, 2010, Huazhong University of Science and Technology, Wuhan. Los Alamitos, CA: IEEE Computer Society, 2000: 111-116.
[5]	BISHOP M, DILGER M.Checking for Race Conditions in File Accesses[J]. Computing Systems, 1996, 2(2):131-152.
[6]	DAVI L, SADEGHI A-R, WINANDY M.Dynamic Integrity Measurement and Attestation: Towards Defense Against Return-Oriented Programming Attacks[C]//ACM. Workshop on Scalable Trusted Computing, November 9-13, 2009, Hyatt Regency Chicago,Chicago, IL. New York, NY: ACM, 2009: 49-54.
[7]	古亮, 郭耀, 王华, 等. 基于TPM的运行时软件可信证据收集机制[J]. 软件学报, 2010, 21(2): 373-387.
[8]	RUSSINOVICH M, SOLOMON D A, IONESCU A. Windows Internals, Sixth Edition, Part 2[M]. Redmond, Washington: Microsoft Press, 2012.
[9]	邢彬, 韩臻, 常晓林,等. 基于虚拟机监控技术的可信虚拟域[J]. 信息安全学报, 2016, 1(1): 75-94.
[10]	SAILER R, ZHANG X, JAEGER T, VAN DOORN L.Design and Implementation of a TCG-based Integrity Measurement Architecture[C]//USENIX.Security Symposium, August 9-13, 2004, Town & Country Resort and Convention Center, San Diego, CA. Berkeley, CA: USENIX Association Berkeley, 2004: 223-238.

[1]	陈璐, 孙亚杰, 张立强, 陈云. 物联网环境下基于DICE的设备度量方案[J]. 信息网络安全, 2020, 20(4): 21-30.
[2]	王晓, 赵军, 张建标. 基于可信软件基的虚拟机动态监控机制研究[J]. 信息网络安全, 2020, 20(2): 7-13.
[3]	吴宏胜. 基于可信计算和UEBA的智慧政务系统[J]. 信息网络安全, 2020, 20(1): 89-93.
[4]	尚文利, 尹隆, 刘贤达, 赵剑明. 工业控制系统安全可信环境构建技术及应用[J]. 信息网络安全, 2019, 19(6): 1-10.
[5]	尚文利, 张修乐, 刘贤达, 尹隆. 工控网络局域可信计算环境构建方法与验证[J]. 信息网络安全, 2019, 19(4): 1-10.
[6]	王晋, 喻潇, 刘畅, 赵波. 智能电网环境下一种基于SDKey的智能移动终端远程证明方案[J]. 信息网络安全, 2018, 18(7): 1-6.
[7]	张建标, 杨石松, 涂山山, 王晓. 面向云计算环境的vTPCM可信管理方案[J]. 信息网络安全, 2018, 18(4): 9-14.
[8]	郁湧, 陈长赓, 刘强, 刘嘉熹. 基于构件的软件系统信任链模型和信任关系分析[J]. 信息网络安全, 2018, 18(3): 8-13.
[9]	张建标, 赵子枭, 胡俊, 王晓. 云环境下可重构虚拟可信根的设计框架[J]. 信息网络安全, 2018, 18(1): 1-8.
[10]	郁湧, 刘永刚, 顾捷. 网构软件系统中构件之间信任关系分析与度量[J]. 信息网络安全, 2018, 18(1): 31-37.
[11]	范博, 杨润垲, 黎琳. 基于SSH的可信信道建立方法研究[J]. 信息网络安全, 2018, 18(1): 45-51.
[12]	张家伟, 张冬梅, 黄偲琪. 一种抗APT攻击的可信软件基设计与实现[J]. 信息网络安全, 2017, 17(6): 49-55.
[13]	黄强, 王高剑, 米文智, 汪伦伟. 集中统一的可信计算平台管理模型研究及其应用[J]. 信息网络安全, 2017, 17(4): 9-14.
[14]	黄强, 孔志印, 常乐, 张德华. 可信基线及其管理机制[J]. 信息网络安全, 2016, 16(9): 145-148.
[15]	黄强, 常乐, 张德华, 汪伦伟. 基于可信计算基的主机可信安全体系结构研究[J]. 信息网络安全, 2016, 16(7): 78-84.

一种可信计算平台完整性度量的新模型

A New Model for Measuring the Integrity of Trusted Computing Platforms

RichHTML

PDF (PC)

可视化

摘要/Abstract

引用本文

使用本文

图/表 3

参考文献 10

相关文章 15

编辑推荐

Metrics

本文评价