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

Analysis of challenge-response protocol under different cryptography

作　　者：陈贤[1] 陈力琼[2] 阔永红[1] 

机构地区：[1]西安电子科技大学通信工程学院,陕西西安710071 [2]上海交通大学计算机科学与工程系,上海200240

出　　处：《计算机工程与设计》2008年第10期2493-2495,共3页Computer Engineering and Design

基　　金：国家863高技术研究发展计划基金项目(2006AA01Z422)

摘　　要：挑战-应答协议只有满足特定的安全条件才能保证实现其认证目标,用串空间模型对满足约束条件的协议形式进行建模,分别在对称和非对称密码两种密码体制下用认证测试方法对双方的互认证性进行形式化地分析,找出协议的漏洞及其形成的原因。凭借测试元素进一步完善不同密码体制下挑战-应答协议的约束条件,以保证其实现互认证的要求,并为设计更复杂的认证协议提供依据。同时也从另一角度证明了基于串空间模型的认证测试方法在协议的形式化分析领域的重要价值。To realize the goal of mutual authentication, challenge-response protocol must satisfy some constraints. After the protocols which satisfy all the given constraints are modeled by strand space, authentication test is used to analyze these models under symmetrical and unsymmetrical cryptography respectively. Based on the detailed attack, the constraints under different cryptography is corrected according to test components. In conclusion, the result can help to design complex protocols and verify the importance of authentication test.

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

分 类 号：TP393[自动化与计算机技术—计算机应用技术]