| 基于进程代数的安全协议分析与验证 |
| |
| 引用本文： | 李梦君,李舟军,陈火旺.基于进程代数的安全协议分析与验证[J].计算机科学,2003,30(6):23-26. |
| |
| 作者姓名： | 李梦君 李舟军 陈火旺 |
| |
| 作者单位： | 国防科技大学计算机学院,长沙,410073 |
| |
| 基金项目： | 国家自然科学基金(90104026,60073001)，863计划资助 |
| |
| 摘 要： | Process algebra is the theories for concurrency.Now the methods based on process algebra for the analysis and verification of security protocols becomes one of the important methods for the study of the security protocols.In the paper,we outline these methods,especially the symbolic trace analysis method the bisimulation method.
|
| 关 键 词： | 网络攻击 安全协议 进程代数 计算机网络 网络安全 加密体系 |
Analysis and Verification of Security Protocols Based on Process Algebra |
| |
| LI Meng-Jun LI Zhou-Jun CHEN Huo-Wang.Analysis and Verification of Security Protocols Based on Process Algebra[J].Computer Science,2003,30(6):23-26. |
| |
| Authors: | LI Meng-Jun LI Zhou-Jun CHEN Huo-Wang |
| |
| Abstract: | Process algebra is the theories for concurrency. Now the methods based on process algebra for the analysis and verification of security protocols becomes one of the important methods for the study of the security protocols. In the paper, we outline these methods, especially the symbolic trace analysis method the bisimulation method. |
| |
| Keywords: | Process algebra Cryptographic protocol Analysis Verification |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
