【摘要】 如何构造安全的密钥协商协议是信息安全领域富有挑战性的问题之一。目前安全协议只能达到"启发式"安全,协议的安全假设也不够理想。针对这一问题,提出了基于计算性假设(CDH)的三方认证密钥协商协议,并运用陷门测试定理形式化地证明该协议在eCK模型下是安全的,更好地支持了敌手的询问。更多还原

【Abstract】 How to construct the security of key agreement protocol is one of the challenging problems in information security field.Most security protocols can only reach the"heuristic"security,and the assumption of security protocol is not ideal.To solve these problems,this paper presented a new computational assumptions(CDH)based third-party authentication key exchange protocol,and by using the trapdoor test theory,formally proved that the protocol is safe under the eCK model and better supports the adversary inquiries.更多还原