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

• 作者: 代凯 邓珍荣
• 来源期刊: 桂林电子科技大学学报
• 学科: 工学
• 关键词: 安全协议 认证测试 Yahalom协议 间接认证链
• 年，卷（期）: 2015,（1）
• 页码范围: 49-53
• 页数: 5页
• 分类号: TP309
• 字数: 4399字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	邓珍荣	桂林电子科技大学计算机科学与工程学院	39	204	8.0	12.0
2	代凯	桂林电子科技大学计算机科学与工程学院	1	0	0.0	0.0