不同密码体制下挑战-应答协议的分析

被引：12

作者：

陈贤 ^{[1
]}

陈力琼 ^{[2
]}

阔永红 ^{[1
]}

机构：

[1] 西安电子科技大学通信工程学院

[2] 上海交通大学计算机科学与工程系

来源：

计算机工程与设计 | 2008年 / 10期

关键词：

挑战-应答协议; 串空间; 对称密码体制; 非对称密码体制; 认证测试方法; 互认证性; 测试元素;

D O I：

10.16208/j.issn1000-7024.2008.10.069

中图分类号：

TP393.08 []; TN918 [通信保密与通信安全];

学科分类号：

083705 [职业安全健康];

摘要：

挑战-应答协议只有满足特定的安全条件才能保证实现其认证目标,用串空间模型对满足约束条件的协议形式进行建模,分别在对称和非对称密码两种密码体制下用认证测试方法对双方的互认证性进行形式化地分析,找出协议的漏洞及其形成的原因。凭借测试元素进一步完善不同密码体制下挑战-应答协议的约束条件,以保证其实现互认证的要求,并为设计更复杂的认证协议提供依据。同时也从另一角度证明了基于串空间模型的认证测试方法在协议的形式化分析领域的重要价值。

引用

页码：2493 / 2495

页数：3