We propose a modified main ex- change of LKE2 for this bug. This analysis also gives a practical base for further application of extended Strand Spaces in analyzing complicated protocols which include plenty cryptographic primitives.
对IKE2的分析也为扩展串空间理论在复杂协议分析中的应用提供了一个实践基础。
参考来源 - IKE2协议的安全性分析 in C·2,447,543篇论文数据，部分数据来源于NoteExpress
本文扩展了串空间模型及其认证测试方法，增强了其对丰富密码学中一些复杂操作的分析和描述能力。
This dissertation extends the strand space model and its authentication test, which can enhance the analyses and description of some cryptographic primitives rich in cryptographic primitives.
文章基于串空间模型，扩展了认证测试方法，使之能够描述和分析电子商务协议。
Based on strand space, we extend the authentication tests method. Using this method, E-commerce protocol can be described and analyzed.
本文首先扩展了串空间的理想理论，然后应用此扩展理论分析IKE2协议的核心安全：秘密性和认证性。
In this paper, we first extend the ideal theory of Strand Spaces, and then apply this extended theory to analyzing a complex Internet key exchange protocol, LKE2.
应用推荐