| 串空间方法分析协议公平性的研究 |
| |
| 引用本文： | 王涛,郭荷清,姚松涛.串空间方法分析协议公平性的研究[J].计算机工程与应用,2004,40(35):17-21,52. |
| |
| 作者姓名： | 王涛 郭荷清 姚松涛 |
| |
| 作者单位： | 华南理工大学计算机科学与工程学院,广州,510642 |
| |
| 基金项目： | 国家973基础科学研究发展计划项目基金(编号:G20000263) |
| |
| 摘 要： | 探讨了将串空间模型应用于描述安全协议公平性的方法,并提出串空间模型描述公平协议的一些问题。分析了在描述公平协议时,串空间模型需要进行的几个扩展,包括:描述协议步骤在什么情况可以执行的扩展;描述协议执行过程中角色动态分配的扩展;描述协议步骤同步执行的扩展。应用扩展后的串空间模型对KM协议进行了形式化描述。
|
| 关 键 词： | 安全协议 公平性 串空间 形式化描述 |
| 文章编号： | 1002-8331-(2004)35-0017-05 |
Research on Application of Strand Space Method in Analyzing Fairness on Protocol |
| |
| Wang Tao Guo Heqing Yao Songtao.Research on Application of Strand Space Method in Analyzing Fairness on Protocol[J].Computer Engineering and Applications,2004,40(35):17-21,52. |
| |
| Authors: | Wang Tao Guo Heqing Yao Songtao |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
