eck模型下的密钥协商

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