LMDS系统安全认证协议的形式分析与改进

• 作者: 傅海阳 刘文杰 吴蒙
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 形式化分析 BAN逻辑 认证协议 LMDS系统
• 年，卷（期）: 2003,（22）
• 所属期刊栏目: 基金项目论文
• 页码范围: 48-50
• 页数: 3页
• 分类号: TP393
• 字数: 3913字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2003.22.020

摘要

利用形式化分析密码协议的方法来检测密码协议中潜在的安全漏洞,已成为密码学中一个新的研究方向.文章用BAN逻辑形式分析方法,对基于802.16的LMDS系统的安全认证协议进行了分析,针对协议中存在的不足提出了更为安全、合理的解决方案.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	傅海阳	南京邮电学院通信工程系	78	490	11.0	18.0
2	吴蒙	南京邮电学院通信工程系	105	657	12.0	19.0
3	刘文杰	南京邮电学院通信工程系	11	34	3.0	5.0