Formal Analysis and Improvement of Security Authentication Protocol in LMDS Systems
Meng Wu · Jisuanji gongcheng · 2003
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 .