计算机科学 ›› 2007, Vol. 34 ›› Issue (10): 96-98.
• 软件工程与数据库技术 • 上一篇 下一篇
出版日期:
发布日期:
基金资助:
Online:
Published:
摘要： 串空间是一种新兴的安全协议形式化分析模型。串空间模型中的理论证明方法虽然严谨，但难度很大。本文基于串空间模型，首先定义系统状态，并以Needham-Schroeder-Lowe公钥认证协议为例说明系统状态转换的分析过程。通过对状态转换过程中现实的跟踪考察，得出了有意义的结论。结合串空间模型，验证了该认证协议的安全性。这种分析认证协议的新方法简洁和高效，并易于实现自动化。
关键词: 串空间 认证协议 状态转换 现实
Abstract: Strand space is a new formal model for the analysis of security protocols. Precise though they are, theory testifies in the strand space model are difficult. Firstly, based on the strand space model, the state of system is defined. Secondly, analysis proc
Key words: Strand space, Authentication protocol, State transition, Nonce
. 基于串空间和状态转换的认证协议分析方法[J]. 计算机科学, 2007, 34(10): 96-98. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2007/V34/I10/96
Cited
首页