计算机科学 ›› 2005, Vol. 32 ›› Issue (11): 59-63.
• 软件工程与数据库技术 • 上一篇 下一篇
出版日期:
发布日期:
Online:
Published:
摘要: 本文首先扩展了串空间的理想理论,然后应用此扩展理论分析IKE2协议的核心安全:秘密性和认证性。通过分析,证明了IKE2协议的密钥交换和认证安全性,但同时发现它不能在主动攻击模式下保护发起者身份,对此我们提出了一个修改意见。对IKE2的分析也为扩展串空间理论在复杂协议分析中的应用提供了一个实践基础。
关键词: 安全协议 扩展串空间 理想 IKE2 安全性分析 协议分析 密钥交换 攻击模式 修改意见 空间理论
Abstract: 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, IKE2. We focus on this protoeol's core security: keys' secrecy and authentication correctness. Thr
Key words: Security protocols, Extended strand spaces, Ideal, IKE2
. IKE2协议的安全性分析[J]. 计算机科学, 2005, 32(11): 59-63. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2005/V32/I11/59
Cited