移动通信系统中的用户认证和密钥协商协议

为端到端保密移动通信系统设计了用户认证和密钥协商协议,该协议基于公钥密码体制。采用SVO逻辑对协议的安全性进行了形式化证明,对协议的计算复杂性进行了定性分析。分析表明,所提出的协议是安全且高效的。