基于间接认证链的输入测试证明方法

摘要：

针对无法运用认证测试方法中的输入测试对Yahalom协议进行验证的问题,提出一种基于间接认证链的输入测试证明方法.该方法引入间接一致性的概念,解决了Yahalom协议中存在的不完整的挑战-应答机制和输入测试在原证明方法上只具备直接性这2个问题,成功地将输入测试运用于验证Yahalom协议,并将该证明方法推广到对Yahalom-Paulson协议的验证.新的证明方法扩展了输入测试的应用范围.

关键词：安全协议、认证测试、Yahalom协议、间接认证链

所属期刊栏目：35

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

资助基金：广西可信软件重点实验室开放基金PF13089X

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

页数：共5页

页码：49-53