基于TPM 2.0的内核完整性度量框架

doi:10.3969/j.issn.1000-3428.2018.03.028

计算机工程

基于TPM 2.0的内核完整性度量框架

王勇^a,b,张雨菡^a,b,洪智 ^a,b,文茹^a,b,樊成阳 ^a,b,王鹃^a,b

(武汉大学 a.计算机学院;b.空天信息安全与可信计算教育部重点实验室,武汉 430072)

收稿日期:2017-02-11 出版日期:2018-03-15 发布日期:2018-03-15
作者简介:王勇(1991—),男,硕士,主研方向为云安全、可信计算、系统安全;张雨菡、洪智、文茹、樊成阳,硕士;王鹃(通信作者),副教授、博士。
基金资助:
国家自然科学基金(61402342);国家重点基础研究发展计划项目(2014CB340601)。

Kernel Integrity Measurement Architecture Based on TPM 2.0

WANG Yong ^a,b,ZHANG Yuhan ^a,b,HONG Zhi ^a,b,WEN Ru ^a,b,FAN Chengyang ^a,b,WANG Juan^a,b

(a.School of Computer; b.Key Laboratory of Aerospace Information Security and Trusted Computing,Ministry of Education,Wuhan University,Wuhan 430072,China)

Received:2017-02-11 Online:2018-03-15 Published:2018-03-15

摘要/Abstract

摘要： 针对当前的完整性度量技术无法支持可信平台模块(TPM)2.0规范的问题,对Linux内核完整性度量架构(IMA)进行改进,设计基于TPM 2.0的内核完整性度量框架,同时基于TPM 2.0芯片实现支持TPM 2.0规范的Linux可信内核。测试结果表明,IMA 2.0可以基于TPM 2.0对系统关键文件进行完整性检测,同时抵御对内核文件的篡改攻击。

关键词: 可信计算, 可信平台模块, 完整性, 度量, 扩展验证模块, 安全

Abstract: The problem that the current integrity measurement technology cannot support 2.0 specification of the Trusted Platform Module(TPM),it improves the Linux kernel Integrity Metric Architecture(IMA),and designs the kernel integrity metrics framework based on TPM 2.0.At the same time,based on TPM 2.0 chip,the Linux trusted kernel that supports TPM 2.0 specification is implemented.Test results show that IMA 2.0 can detect the integrity of the system key files based on TPM 2.0 and resist the tampering attacks on the kernel files.

Key words: trusted computing, Trusted Platform Module(TPM), integrity, measurement, Extended Verification Module(EVM), security

中图分类号:

TP393

王勇,张雨菡,洪智,文茹,樊成阳,王鹃. 基于TPM 2.0的内核完整性度量框架[J]. 计算机工程, doi: 10.3969/j.issn.1000-3428.2018.03.028.

WANG Yong,ZHANG Yuhan,HONG Zhi,WEN Ru,FAN Chengyang,WANG Juan. Kernel Integrity Measurement Architecture Based on TPM 2.0[J]. Computer Engineering, doi: 10.3969/j.issn.1000-3428.2018.03.028.

https://www.ecice06.com/CN/Y2018/V44/I3/166

参考文献

参考文献［1］冯登国,秦宇,汪丹,等.可信计算技术研究［J］.计算机研究与发展,2011,48(8):1332-1349. ［2］WANG Juan,SHI Yuan,PENG Guojun,et al.Survey on Key Technology Development and Application in Trusted Computing［J］.China Communication,2016,13(11):69-90. ［3］沈昌祥,张焕国,王怀民,等.可信计算的研究与发展［J］.中国科学:信息科学,2010,40(2):139-166. ［4］Trusted Computing Group.TCG TPM Specification 1.2［EB/OL］.(2003-08-20).http://www.trustedcomputinggroup.org. (下转第177页) (上接第170页) ［5］Trusted Computing Group.TCG TPM Specification 2.0［EB/OL］.(2013-09-26).http://www.trustedcomputinggroup.org. ［6］CHEN Liqun,LI Jingtao.Flexible and Scalable Digital Signatures in TPM 2.0［C］//Proceedings of the 20th ACM Conference on Computer and Communications Security.New York,USA:ACM Press,2013:37-48. ［7］张立强,张焕国,张帆.可信计算中的可信度量机制［J］.北京工业大学学报,2010,36(5):586-591. ［8］ARTHUR W,CHALLENER D.A Practical Guide to TPM 2.0:Using the Trusted Platform Module in the New Age of Security［M］.Berlin,Germany:Springer,2015. ［9］APVRILLE A,GORDON D,HALLYN S E,et al.DigSig:Runtime Authentication of Binaries at Kernel Level［C］//Proceedings of the 18th USENIX Conference on System Administration.New York,USA:ACM Press,2004:59-66. ［10］PETRONI N L,FRASER T,MOLINA J,et al.Copilot——A Coprocessor-based Kernel Runtime Integrity Monitor［C］//Proceedings of Usenix Security Symposium.Berlin,Germany:Springer,2010:179-194. ［11］MELAYE D,DEMAZEAU Y.Bayesian Dynamic Trust Model［C］//Proceedings of the 4th International Central and Eastern European Conference on Multi-agent Systems and Applications.Berlin,Germany:Springer,2005:480-489. ［12］RANGASAMY K,SOMASUNDARAM T S.Trust Management System for Computational Grids［J］.European Journal of Scientific Research,2012,79(1):15-23. ［13］李小勇,桂小林.动态信任预测的认知模型［J］.软件学报,2010,21(1):163-176. ［14］杨蓓,吴振强,符湘萍.基于可信计算的动态完整性度量模型［J］.计算机工程,2012,38(2):78-81. ［15］SAILER R,ZHANG Xiaolan,JAEGER T,et al.Design and Implementation of a TCG-based Integrity Measurement Architecture［C］//Proceedings of Conference on USENIX Security Symposium.Berlin,Germany:Springer,2004:223-238. 编辑顾逸斐

[1]	徐晓滨, 张云硕, 施凡, 常雷雷, 陶志刚. 基于特征匹配度与异类子模型融合的安全性评估方法[J]. 计算机工程, 2024, 50(8): 113-122.
[2]	石琼, 段辉, 师智斌. 基于深度强化学习的可信任务卸载方案[J]. 计算机工程, 2024, 50(8): 142-152.
[3]	王富平, 刘鸿玮, 张锲石, 段冠庄. 基于深度特征抑制的遮挡人脸识别网络[J]. 计算机工程, 2024, 50(8): 259-269.
[4]	张洋, 刘畅, 李少青. 基于可控制性度量的图神经网络门级硬件木马检测方法[J]. 计算机工程, 2024, 50(7): 164-173.
[5]	熊世强, 何道敬, 王振东, 杜润萌. 联邦学习及其安全与隐私保护研究综述[J]. 计算机工程, 2024, 50(5): 1-15.
[6]	王以良, 周鹏, 叶卫, 戚伟强. 基于金字塔网络的非侵入式负荷辨识及其隐私保护方案[J]. 计算机工程, 2024, 50(5): 182-189.
[7]	吴冠荣, 李元祥, 王艺霖, 陆雨寒, 陈秀华. 基于对比学习的小样本金属表面损伤分类[J]. 计算机工程, 2024, 50(3): 36-43.
[8]	倪林, 刘子辉, 张帅, 韩久江, 鲜明. 基于灰度图谱分析的IP软核硬件木马检测方法[J]. 计算机工程, 2024, 50(3): 44-51.
[9]	单永航, 张希, 胡川, 丁涛军, 姚远. 基于集成学习的交通事故严重程度预测研究与应用[J]. 计算机工程, 2024, 50(2): 33-42.
[10]	吴嘉鑫, 孙一飞, 吴亚兰, 武继刚. 面向安全传输的低能耗无人机轨迹优化算法[J]. 计算机工程, 2024, 50(2): 59-67.
[11]	叶晓东, 赵迎迎, 孙永奇, 赵思聪, 刘真. 基于非定长编码和滑动窗口的隐私保护记录链接方法[J]. 计算机工程, 2024, 50(2): 154-164.
[12]	刘道清, 扈红超, 霍树民. 容器云中面向持久化存储的拟态防御技术研究[J]. 计算机工程, 2024, 50(2): 165-179.
[13]	周义涛, 李阳, 韩超, 赵玉来, 汪玲, 李建华. 适用于S-NUCA异构处理器的任务调度与热管理系统[J]. 计算机工程, 2024, 50(2): 196-205.
[14]	余新胜, 朱丹江, 罗论涵. 基于CLPN的系统安全性分析方法[J]. 计算机工程, 2024, 50(10): 255-265.
[15]	周莎, 申国伟, 郭春. 基于安全知识图谱与逆向特征的弱点信息补全[J]. 计算机工程, 2024, 50(1): 145-155.

选择文件类型/文献管理软件名称

选择包含的内容

基于TPM 2.0的内核完整性度量框架

Kernel Integrity Measurement Architecture Based on TPM 2.0

PDF

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics

本文评价

模态框（Modal）标题

选择文件类型/文献管理软件名称

选择包含的内容

基于TPM 2.0的内核完整性度量框架

Kernel Integrity Measurement Architecture Based on TPM 2.0

PDF

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics

本文评价