| 一种描述协议的新模型:线索空间模型 |
| |
| 引用本文： | 郑卓远,周娅. 一种描述协议的新模型:线索空间模型[J]. 桂林电子科技大学学报, 2003, 23(1): 27-30 |
| |
| 作者姓名： | 郑卓远 周娅 |
| |
| 作者单位： | 桂林电子工业学院,计算机系,广西,桂林,541004 |
| |
| 摘 要： | 线索空间模型是一种新的安全协议模型 ,它可利用线索空间图证明 Needham- Schroeder协议的某些安全特性。在描述和分析此过程协议存在的漏洞同时并对协议进行了改进。线索空间模型同其他模型相比 ,最大优点就是简洁直观 ,是形式化技术的一个重要的研究方向
|
| 关 键 词： | 线索空间模型 协议 线索 束 参与方 入侵者 |
| 文章编号： | 1001-7437(2003)01-27-04 |
| 修稿时间： | 2002-09-23 |
A New Model to Describe Protocols: Strand Space Model |
| |
| ZHENG Zhuo yuan,ZHOU Ya. A New Model to Describe Protocols: Strand Space Model[J]. Journal of Guilin University of Electronic Technology, 2003, 23(1): 27-30 |
| |
| Authors: | ZHENG Zhuo yuan ZHOU Ya |
| |
| Abstract: | Strand Space Model is a new security protocols model. In this paper we apply the Strand Space Picture to proof the Needham Schroeder protocol.We have also pointed out the protocol failure and have made the relevant correction.We have found that the model in discussion is distinguished from other models by its simplicity.It therefore is an important research direction of formal technology. |
| |
| Keywords: | Strand Space Model protocol strand bundle participant penetrator |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
