| 基于策略和虚拟机技术的动态远程证明框架 |
| |
| 引用本文： | 户家富,李立新,周雁舟,李福林. 基于策略和虚拟机技术的动态远程证明框架[J]. 武汉大学学报(理学版), 2009, 55(1) |
| |
| 作者姓名： | 户家富 李立新 周雁舟 李福林 |
| |
| 作者单位： | 信息工程大学电子技术学院,河南郑州,450004 |
| |
| 基金项目： | 国家高技术研究发展计划(863计划) |
| |
| 摘 要： | 针对现有可信计算中远程证明方案的不足,将虚拟机技术和策略相结合,提出并实现了一种新的远程证明框架.该框架在用户终端构建可信虚拟机向应用系统提供可信的执行环境,服务方可以制定灵活、细粒度的策略,并借助于可信虚拟机来分发和执行这些策略,从而保证终端平台的行为符合服务方的要求.通过相关分析和模拟实验,结果表明:该框架町以开放地允许更多的软件实体接入,并具有良好的实时性、动态性、灵活性,真正实现了基于行为的远程证明.
|
| 关 键 词： | 远程证明 虚拟机 策略 行为 语义 |
Framework of Dynamic Remote Attestation Based on Policy and Virtual Machine Technology |
| |
| HU Jiafu,LI Lixin,ZHOU Yanzhou,LI Fulin. Framework of Dynamic Remote Attestation Based on Policy and Virtual Machine Technology[J]. JOurnal of Wuhan University:Natural Science Edition, 2009, 55(1) |
| |
| Authors: | HU Jiafu LI Lixin ZHOU Yanzhou LI Fulin |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
