对一种身份认证协议的改进及其形式化分析

• 作者: 何丽 王立斌
• 来源期刊: 计算机系统应用
• 学科: 工学
• 关键词: 认证协议 拒绝服务攻击 BAN逻辑 形式化分析
• 年，卷（期）: 2010,（7）
• 所属期刊栏目: 研究开发
• 页码范围: 47-49
• 分类号: TP3
• 字数: 1788字
• 语种: 中文
• DOI: 10.3969/j.issn.1003-3254.2010.07.011

摘要

基于口令的远程身份认证协议是目前认证协议研究的热点.2005年,Sung-Woon Lee等人提出了一个低开销的基于随机数的远程身份认证协议即Lee-Kim-Yoo协议,首先分析了此协议中所存在的安全性缺陷.随后构造了一个基于随机数和Hash函数,并使用智能卡的远程身份认证协议,最后用BAN逻辑对修改后的协议进行了形式化的分析,结果表明修改后的协议能够达到协议的安全目标.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王立斌	华南师范大学计算机学院	24	74	5.0	7.0
2	何丽	华南师范大学计算机学院	2	10	1.0	2.0