作者：赵建杰 谷大武密码学认证密钥协商可证明安全eck模型密钥确认
摘要：如何构造安全的密钥协商协议是信息安全领域富有挑战性的问题之一．然而目前多数安全协议只能达到“启发式”安全，协议的安全性假设和效率也不够理想．针对这些问题，文中提出了一种新的两轮双方认证密钥协商协议，通过分析新掷议的安全属性指出了构造双方认证密钥协商的一些原则．随后，在eCK模型下对新协议进行了严格的形式化证明，根据相关文献，eCK模型是目前关于双方密钥协商协议的安全程度最高的形式化模型．性能分析表明，新协议较好地平衡了计算量和安全性假设这两个协议评价指标．另外，为了实现新协议的密钥确认属性，文中提出了一种三轮变体协议．
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
