可信计算中的动态远程证明研究综述

摘要：

远程证明是可信计算的研究热点.本文分析和比较了国内外在远程证明研究领域提出的三类代表性方法——基于信息流的方法、基于属性的方法和基于行为的方法.对三类远程证明方法中的代表性技术从技术原理、局限性等方面进行了研究和分析,并对后续研究面临的问题进行了展望.

关键词：可信计算、远程证明、信息流、属性、行为

所属期刊栏目：39

分类号：TP309(计算技术、计算机技术)

资助基金：上海市教委科研创新项目12YZ146,11YZ194;上海市自然科学基金项目11ZR1414300

在线出版日期：2013-01-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：51-54,87