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

Survey of Remote Attestation in Trust Computing

作　　者：李红娇[1] 田秀霞[1] 孙超超[1] 

机构地区：[1]上海电力学院计算机与信息工程学院,上海200090

出　　处：《计算机科学》2012年第S3期51-54,87,共5页Computer Science

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

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

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

分 类 号：TP3[自动化与计算机技术—计算机科学与技术]