一个双向认证协议的分析与改进

计算机科学 ›› 2009, Vol. 36 ›› Issue (2): 129-131.

一个双向认证协议的分析与改进

廖振岚吴开贵谢琪代廷合

重庆大学计算机学院,重庆400043

出版日期:2018-11-16 发布日期:2018-11-16
基金资助:
本文受国家自然科学基金资助项目（30400446）资助.

LIAO Zhen-lan, WU Kai-gui ,XIE Qi ,DAI Ting-he （College of Computer Science of Chongqing University,Chongqing 400043 ,China）

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

摘要： 运用安全协议形式化分析方法中的串空间模型理论，对Natalia Miloslavskaya等人提出的一个双向认证协议进行了分析，发现该协议在认证方面存在缺陷，并对该协议进行了改进，同时用串空间理论证明了改进后的协议的认证正确性。

关键词: 安全协议认证串空间

Abstract: This paper applied strand space model, which is a method for formal analysis of security protocol, to analyse a mutual authentication protocol proposed by Natalia Miloslavskaya et al. , and found some flaws of the protocol on authentication. Then an impro

Key words: Security protocol, Authentication, Strand space

廖振岚吴开贵谢琪代廷合. 一个双向认证协议的分析与改进[J]. 计算机科学, 2009, 36(2): 129-131. https://doi.org/

LIAO Zhen-lan, WU Kai-gui ,XIE Qi ,DAI Ting-he （College of Computer Science of Chongqing University,Chongqing 400043 ,China）. [J]. Computer Science, 2009, 36(2): 129-131. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed