摘要
利用形式化分析密码协议的方法来检测密码协议中潜在的安全漏洞，已成为密码学中一个新的研究方向。文章用BAN逻辑形式分析方法，对基于802.16的LMDS系统的安全认证协议进行了分析，针对协议中存在的不足提出了更为安全、合理的解决方案。
It is a new study direction of cryptograph that detecting potential flaws in cryptographic protocols using formal analysis of cryptographic protocol. This paper discusses the widely applied formal analysis method, BAN logic and the authentication protocol in LMDS systems based on 802.16. In addition, the detailed analysis of the protocol using BAN logic is presented, and the more secure and reasonable scheme is also brought .
出处
《计算机工程》
CAS
CSCD
北大核心
2003年第22期48-50,共3页
Computer Engineering
基金
国家"863"计划信息安全主题基金资助项目 (2001AA140331)
