| 基于串空间的安全协议形式化验证模型及算法 |
| |
| 引用本文： | 周宏斌,黄连生,桑田.基于串空间的安全协议形式化验证模型及算法[J].计算机研究与发展,2003,40(2):251-257. |
| |
| 作者姓名： | 周宏斌 黄连生 桑田 |
| |
| 作者单位： | 清华大学计算机科学与技术系,北京,100084 |
| |
| 基金项目： | 国家自然科学基金 (69872 0 19) |
| |
| 摘 要： | 网络安全在信息时代非常重要，而网络安全的关键问题之一是安全协议。首先介绍了当前安全协议形式化验证的前沿方向－－串空间理论，随后阐述了基于该理论设计的自动验证模型－－T模型，给出了该模型的算法及描述，并通过验证改进前后的Needham-Schroeder协议来说明T模型的优势。
|
| 关 键 词： | 串空间 安全协议 形式化验证模型 算法 网络安全 信息安全 T模型 计算机网络 |
A Formal Model and Algorithm for Verifying Security Protocols Based on Strand Spaces |
| |
| ZHOU Hong Bin,HUANG Lian Sheng,and SANG Tian.A Formal Model and Algorithm for Verifying Security Protocols Based on Strand Spaces[J].Journal of Computer Research and Development,2003,40(2):251-257. |
| |
| Authors: | ZHOU Hong Bin HUANG Lian Sheng and SANG Tian |
| |
| Abstract: | |
| |
| Keywords: | security protocols formal verification strand spaces |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
