论文部分内容阅读
认证密钥交换协议的设计中,安全性分析是一个重要的环节。目前已有多种安全模型被提出以证明协议的安全性。然而在繁琐的规约过程中易出现人为失误,一些已被证明安全的协议实际上存在着明显的安全缺陷。对两个特定安全模型下可证明安全的密钥交换协议进行了安全性分析。结果表明,两个协议都存在安全隐患,其中CL-AKA协议不具备抗未知密钥共享安全性;GAAKE协议不具备前向安全性。