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

关键词: 形式化分析, BAN逻辑, 认证协议, LMDS系统

Abstract: 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 .

中图分类号: 

• TN918.1