论文部分内容阅读
3GPP—AKA协议在第三代移动通信的安全性方面起着至关重要的作用，它保证了移动用户MS与VLR／HLR之间的双向认证及密钥协商。文中通过协议组合逻辑（PCL）对3GPP—AKA协议进行了形式化分析及安全性证明。分析表明3GPP—AKA协议可以满足它的安全目标，因此该协议可以安全的作为第三代移动通信中的认证和密钥分配协议。