并行分类信任链传递模型

doi:10.3778/j.issn.1002-8331.2009.31.029

计算机工程与应用 ›› 2009, Vol. 45 ›› Issue (31): 98-101.DOI: 10.3778/j.issn.1002-8331.2009.31.029

并行分类信任链传递模型

林基艳，吴振强

陕西师范大学计算机科学学院，西安 710062

收稿日期:2009-05-26 修回日期:2009-07-13 出版日期:2009-11-01 发布日期:2009-11-01
通讯作者: 林基艳

Parallel sorting model of chain of trust

LIN Ji-yan，WU Zhen-qiang

School of Computer Science，Shanxi Normal University，Xi’an 710062，China

Received:2009-05-26 Revised:2009-07-13 Online:2009-11-01 Published:2009-11-01
Contact: LIN Ji-yan

摘要/Abstract

摘要： 目前的信任链传递模型在解决应用层的信任传递问题上采用串行完整性度量方案，增加了系统的时间开销，影响系统效率。论文提出了一种新的信任链传递模型，该模型利用虚拟化技术提出并行分类完整性度量方法，降低了应用层可信传递过程中的完整性度量时间开销，同时用户也可以根据自己的需求决定是否允许应用程序运行；通过对所提模型的形式化验证，表明新模型满足可信传递需求。

关键词: 可信计算, 并行分类完整性度量, 信任链传递模型, 形式化验证

Abstract: At present，chain model adopts serial integrity measurement means to solve the problem of the transfer on application layer which can increase the overhead time and affect the efficiency of the system.This paper brings forward a new chain of trust model which uses virtualization technology to advance a method called parallel sorting integrity measurement which can reduce the overhead time of the integrity measurement and decide which program can run.In the end，formal verification is given to the presented model which shows the new model can meet the requirement of the trust transfer.

Key words: trusted computing, parallel sorting integrity measurement, model of chain of trust, formal verification

中图分类号:

TP309

林基艳，吴振强. 并行分类信任链传递模型[J]. 计算机工程与应用, 2009, 45(31): 98-101.

LIN Ji-yan，WU Zhen-qiang. Parallel sorting model of chain of trust[J]. Computer Engineering and Applications, 2009, 45(31): 98-101.

[1]	何利文，侯小宇，唐澄澄，周睿，张幸宁. 面向异构BIOS环境的Rootkit通用性检测方法[J]. 计算机工程与应用, 2019, 55(23): 105-112.
[2]	孙浩然1，2，施智平1，2，3，关永1，3，王瑞2，3. 穿刺机器人运动安全性的形式化分析与建模[J]. 计算机工程与应用, 2018, 54(18): 263-270.
[3]	王勇1，2，尚文利2，赵剑明2，万明2，苑薇薇1. 基于TPM的嵌入式可信计算平台设计[J]. 计算机工程与应用, 2018, 54(13): 105-110.
[4]	马亮，钱雪忠. 基于可信计算的Web服务调用关键路径研究[J]. 计算机工程与应用, 2016, 52(3): 230-235.
[5]	李群，陈清亮. 基于ATL的公平交换协议的形式化验证[J]. 计算机工程与应用, 2015, 51(19): 32-36.
[6]	尚京，徐开勇，杨启超. 一种面向集中管控系统的计算机可信启动架构[J]. 计算机工程与应用, 2015, 51(17): 64-69.
[7]	赵　　波1，2，费永康1，2，向　　騻1，2，李逸帆1，2. 嵌入式系统的安全启动机制研究与实现[J]. 计算机工程与应用, 2014, 50(10): 72-77.
[8]	程戈，李聪. 可信计算环境构建机制研究进展[J]. 计算机工程与应用, 2013, 49(13): 59-64.
[9]	董玲玲1，关永1，李晓娟1，施智平1，张杰2，华伟1. 用LTL模型检验的方法验证SpaceWire检错机制[J]. 计算机工程与应用, 2012, 48(22): 88-94.
[10]	刘澜，袁道华，童星，王钟磊. 一种针对可信计算平台的分布式可信验证机制[J]. 计算机工程与应用, 2012, 48(2): 99-102.
[11]	种惠芳，吴振强，王海燕. 基于属性的自证实模型及其安全协议[J]. 计算机工程与应用, 2011, 47(7): 110-113.
[12]	盖新貌1，2，沈昌祥2，3，李勇2，4，刘毅3. 一种面向结构化保护的组件层次划分方法[J]. 计算机工程与应用, 2011, 47(36): 25-28.
[13]	杨蓓，吴振强，杨小勃. 基于可信计算的多级安全模型[J]. 计算机工程与应用, 2011, 47(27): 122-125.
[14]	李勇1，李光2，沈昌祥3. 可信管道模型研究[J]. 计算机工程与应用, 2011, 47(26): 70-73.
[15]	马华1，张红宇2. 结合可信度模糊评价与动态聚类的构件选择[J]. 计算机工程与应用, 2011, 47(21): 73-76.

并行分类信任链传递模型

Parallel sorting model of chain of trust

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics