| 一种新的安全协议验证方法 |
| |
| 引用本文： | 刘道斌,郭莉,白硕.一种新的安全协议验证方法[J].计算机研究与发展,2003,40(10):1514-1520. |
| |
| 作者姓名： | 刘道斌 郭莉 白硕 |
| |
| 作者单位： | 中国科学院计算技术研究所软件研究室,北京,100080 |
| |
| 基金项目： | 国家“八六三”高技术研究发展计划基金 ( 2 0 0 1AA14 2 110 ) |
| |
| 摘 要： | 提出了一种基于Petri网的安全协议形式化描述和安全性验证的方法．该方法的特点是利用逆向状态分析和Petri网的状态可达性分析，判定协议运行过程中可能出现的不安全状态以及这些状态是否可达．通过实例证明了这种方法的有效性．
|
| 关 键 词： | 安全协议 Petri网 可达性分析 |
A New Approach for the Analysis of Security Protocols |
| |
| LIU Dao Bin,Guo Li,and BAI Shuo.A New Approach for the Analysis of Security Protocols[J].Journal of Computer Research and Development,2003,40(10):1514-1520. |
| |
| Authors: | LIU Dao Bin Guo Li and BAI Shuo |
| |
| Abstract: | Proposed in this paper is an approach for the formal modeling and analysis of security properties of cryptographic protocols The methodology is based on the idea of backward state analysis and the reachability analysis for Petri nets By performing the state analysis, potential insecure states can be found and it can be determined whether these insecure states are reachable An example shows that this approach is efficacious |
| |
| Keywords: | security protocol Petri net reachability analysis |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
