根据3gpp的标准，WLAN用户通过EAP - AKA协议来实现认证和密钥分配过程。
According to the standard of 3gpp, WLAN users authenticate and distribute keys through EAP-AKA protocol.
采用BAN逻辑对该协议进行形式化分析表明：协议达到了认证和密钥分配的目标，具有较强的安全性。
Used BAN logic, the objective and the security of this protocol are proved by formal analysis process.
详细分析了UMTS认证和密钥分配协议的过程以及协议的安全性，找出协议中存在的弱点和可能的攻击，提出了公钥加密协议的改进方法。
This paper analyzes authentication and key distribution protocol of the procedure and security of UMTS. The vulnerability and possible attack to this protocol are described.
应用推荐