基于双重完整性的可信证明模型

摘要：

传统可信远程证明方法对于动态证明问题描述不足,且在可信证明过程中,证明主/客体交互行为对于可信性的影响缺乏理论依据.为此,提出一种基于证明主/客体双重完整性的可信证明模型,在该模型中引入可信性概念,定义可信属性及可信状态的建立规则,根据该模型设计可信证明系统,并分析主/客体不同完整性的证明方法.

关键词：可信计算、远程证明、完整性、证明模型、行为、威胁

所属期刊栏目：38

分类号：N945(系统科学)

资助基金：国家"863"计划基金资助项目2009AA012437;国家"973"计划基金资助项目2007CB311100;中国博士后科学基金资助项目20100480173

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

页数：共5页

页码：33-36,41