eCK模型的安全性分析

作者：倪亮 陈恭亮 李建华认证密钥协商协议eck模型可证明安全性

摘要：认证密钥协商协议应该尽可能多地具备良好的安全性质以满足实际的需求。作为最近提出的一种设计和分析两方认证密钥协商协议的形式化方法，eCK模型正受到越来越多的关注，而其所能提供的确切安全保证值得深入探究。由此，对eCK模型定义和有关认讧密钥协商协议基本良好安全性质之间的关系进行了详细分析。结论表明在eCK模型下可证明安全的认证密钥协商协议具备大多数基本的良好安全性质。据此总结了eCK模型的优势和不足。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社