论文部分内容阅读
远程证明是可信计算的研究热点。本文分析和比较了国内外在远程证明研究领域提出的三类代表性方法——基于信息流的方法、基于属性的方法和基于行为的方法。对三类远程证明方法中的代表性技术从技术原理、局限性等方面进行了研究和分析,并对后续研究面临的问题进行了展望。
可信计算中的动态远程证明研究综述
【摘 要】
：
远程证明是可信计算的研究热点。本文分析和比较了国内外在远程证明研究领域提出的三类代表性方法——基于信息流的方法、基于属性的方法和基于行为的方法。对三类远程证明方
【机 构】
：
上海电力学院计算机与信息工程学院
【出 处】
：
计算机科学
【发表日期】
：
2012年S3期
【基金项目】
：
上海市教委科研创新项目(12YZ146,11YZ194),上海市自然科学基金项目(11ZR1414300)资助
其他文献
目的获得钝锥在风洞实验连续变雷诺数过程中表面脉动压力的变化规律。方法基于利用超声速风洞,研究Ma=6、α=0°工况下,单位长度雷诺数从4.5×10^(7) m^(-1)连续变化
目的分析旋转尾翼对火箭测试平台平衡滚速的影响,基于旋转尾翼式火箭测试平台开展飞行弹道设计。方法以旋转尾翼火箭测试平台为例,分析旋转尾翼、箭体和滚动轴承间的受力,建
文本信息处理就是通过计算机对文本从表及里、由此及彼的分析处理,不仅仅抽取包含其中的信息,更需要分析推理蕴涵其中的意义。全面地分析探讨了文本信息处理研究现状,概述了
中介语语音系统作为一个复杂系统,其发展过程具有非线性、动态性、非预测性、自组织性和对初始状态敏感性等特点。该文依据复杂动态系统理论,通过梳理中介语语音系统各子系统
为确保围堰附近尾水洞衬砌混凝土、尾水出口引渠、尾水闸室等永久性建筑物及检测设备的安全,使导流洞出口档水围堰（重力式水下混凝土结构）爆破拆除任务能安全、优质、高效地完
随着因特网技术的飞速发展,人们开始频繁地利用网络寻找获取所需的资源,而传统的搜索引擎返回结果数量庞大且呈线性排列,用户很难在短时间内找到所需的资源.文本聚类具有较强
期刊