身份认证协议的新安全属性  

NEW SECURITY NOTIONS IN IDENTITY AUTHENTICATION PROTOCOL

作　　者：朱旭松[1] 黄琼[1] 赵一鸣[2] 常江[2] 

机构地区：[1]复旦大学计算机科学与工程系,上海200433 [2]复旦大学软件学院,上海200433

出　　处：《计算机应用与软件》2008年第5期7-9,共3页Computer Applications and Software

基　　金：国家自然科学基金资助(60573054)。

摘　　要：总结了针对身份认证协议的一类新型攻击的特征。对于攻击的分析,引入了两个新的安全属性定义,其一定义在单个证明者的环境中,另一个则定义在多个证明者的环境中。并可证明这两个安全属性本质上是等价的。因此,只要满足了其中单证明者环境下的安全要求,身份认证协议也能安全地运行在多个证明者的环境下。In this paper two novel security notions were defined according to the analysis of the summarized features of a new kind attack against the identity authentication protocol. Though one notion was defined in single prover condition and the other was in multi-provers condition hut they were proved to he equivalent in essence. Therefore once the security requirement in single prover condition is satisfied the identity tuthentication protocol can also he run in multi-provers condition.

关 键 词：身份认证 IMP-CA2 神谕 安全属性 

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术] TP316.89[自动化与计算机技术—计算机科学与技术]