| 一种基于Strand空间的认证协议检测方法 |
| |
| 引用本文： | 姜志坚,韩芳溪.一种基于Strand空间的认证协议检测方法[J].计算机应用,2004,24(1):76-79. |
| |
| 作者姓名： | 姜志坚 韩芳溪 |
| |
| 作者单位： | 山东大学,计算机科学与技术学院,山东,济南,250061 |
| |
| 基金项目： | 山东省科技厅基金资助项目 (0 0 30 90 30 9) |
| |
| 摘 要： | Strand空间是一种安全协议分析模型，使用图的形式来描述协议，证明协议的正确性。通过分析研究，本文建立了攻击者知识模型，在此基础上提出了一种基于Strand空间的认证协议检测方法，该方法产生状态少，避免了状态空间的爆炸。并以Needham-Schroeder公钥协议为例，说明了该方法进行协议分析的过程。
|
| 关 键 词： | Strand空间 Bundle 攻击者知识模型 状态搜索 |
| 文章编号： | 1001-9081(2004)01-0076-03 |
A Checking Technique for Authentication Protocol Based on Strand Spaces |
| |
| JIANG Zhi-jian,HAN Fang-xi.A Checking Technique for Authentication Protocol Based on Strand Spaces[J].journal of Computer Applications,2004,24(1):76-79. |
| |
| Authors: | JIANG Zhi-jian HAN Fang-xi |
| |
| Abstract: | Strand Spaces is a model analysing security protocol. In this model,the protocol is represented and its correctness is proved with graph. Via the study of this model,a penetrator knowledge model is built and an technique based on Strand Space is put forward. This technique produces fewer states and prevents state space explosion. Needham-Schroeder public key protocol is taken as an example to explain the process of protocol analysis. |
| |
| Keywords: | strand space bundle penetrator knowledge model state search |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
