CAJ | 학술논문

认证密钥协商协议应该尽可能多地具备良好的安全性质以满足实际的需求。作为最近提出的一种设计和分析两方认证密钥协商协议的形式化方法，eCK模型正受到越来越多的关注，而其所能提供的确切安全保证值得深入探究。由此，对eCK模型定义和有关认证密钥协商协议基本良好安全性质之间的关系进行了详细分析。结论表明在eCK模型下可证明安全的认证密钥协商协议具备大多数基本的良好安全性质。据此总结了eCK模型的优势和不足。
인증밀약협상협의응해진가능다지구비량호적안전성질이만족실제적수구。작위최근제출적일충설계화분석량방인증밀약협상협의적형식화방법，eCK모형정수도월래월다적관주，이기소능제공적학절안전보증치득심입탐구。유차，대eCK모형정의화유관인증밀약협상협의기본량호안전성질지간적관계진행료상세분석。결론표명재eCK모형하가증명안전적인증밀약협상협의구비대다수기본적량호안전성질。거차총결료eCK모형적우세화불족。
Authenticated key agreement ( AKA) protocol should capture desirable security properties as many as possi-ble.As a formal method recently proposed to design and analyze two-party AKA protocols, the eCK model is currently receiving more and more attention, and the exact security guarantees that can be provided by this model are worthy of in-depth research.Hence, the relationship between the eCK model and the basic desirable security properties for AKA protocols is analyzed in detail.The conclusions indicate that AKA protocols with provable security in the eCK model capture most basic desirable security properties.Thereafter, the advantages and disadvantages of the eCK model are also summarized.