| 基于进程代数安全协议验证的研究综述 |
| |
| 引用本文： | 李梦君,李舟军,陈火旺.基于进程代数安全协议验证的研究综述[J].计算机研究与发展,2004,41(7):1097-1103. |
| |
| 作者姓名： | 李梦君 李舟军 陈火旺 |
| |
| 作者单位： | 国防科学技术大学计算机学院,长沙,410073 |
| |
| 基金项目： | 国家自然科学基金项目 ( 90 10 40 2 6,60 0 73 0 0 1)，国家“八六三”高技术研究发展计划基金项目 ( 2 0 0 2AA14 40 40 ) |
| |
| 摘 要： | 安全协议用于实现开放互联网络的通信安全，进程代数是一类使用代数方法研究通信并发系统理论的泛称，基于进程代数的安全协议验证是以进程代数作为安全协议描述语言的安全协议形式化验证方法．描述了基于进程代数的安全协议验证研究的4种主要方法：基于踪迹语义的方法；基于互模拟验证的方法；基于类型理论的方法；基于逻辑程序的方法．并给出了基于进程代数的安全协议验证进一步的研究方向．
|
| 关 键 词： | 进程代数 安全协议 形式化验证 保密性 认证性 |
A Survey of Security Protocol Verification Based on Process Algebra |
| |
| LI Meng-Jun,LI Zhou-Jun,and CHEN Huo-Wang.A Survey of Security Protocol Verification Based on Process Algebra[J].Journal of Computer Research and Development,2004,41(7):1097-1103. |
| |
| Authors: | LI Meng-Jun LI Zhou-Jun and CHEN Huo-Wang |
| |
| Abstract: | Security protocols are used to provide secure communication over open network. Process algebra refers to those algebraic approaches to the study of communication and concurrency systems. The verification methods based on process algebra are the important verification methods of security protocols. The main verification methods based on process algebra of security protocols are presented in this paper. Finally the possible new directions of security protocols verification are also stated. |
| |
| Keywords: | process algebra security protocol formal verification secrecy authentication |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
