论文部分内容阅读
为端到端保密移动通信系统设计了用户认证和密钥协商协议,该协议基于公钥密码体制。采用SVO逻辑对协议的安全性进行了形式化证明,对协议的计算复杂性进行了定性分析。分析表明,所提出的协议是安全且高效的。
The user authentication and key agreement protocols are designed for the end-to-end secure mobile communication system. The protocol is based on the public key cryptosystem. SVO logic is used to formally prove the security of the protocol, and qualitative analysis is made on the computational complexity of the protocol. Analysis shows that the proposed protocol is safe and efficient.