|
|||||
|
|
| 安全协议的SPIN建模与分析 | |
| 引用本文： | 陈春玲,田国良.安全协议的SPIN建模与分析[J].南京航空航天大学学报,2009,41(5). |
| 作者姓名： | 陈春玲 田国良 |
| 作者单位： | 南京邮电大学软件学院,南京,210003 |
| 基金项目： | 国家高技术研究发展计划 |
| 摘 要： | 总结了利用模型检测工具SPIN对安全协议进行建模的方法.以Helsinki协议和Helsinki改进协议作为分析实例,用Promela语言建模并使用SPIN对模型进行行为模拟和属性校验.发现了Helsinki存在的Horng-Hsu攻击漏洞以及Helsinki改进协议存在的DoS攻击隐患.该方法具有较好的通用性,容易推广到有多个主体参与的安全协议的分析. |
| 关 键 词： | 安全协议 Helsinki协议 Promela语言 建模 |
SPIN-Based Security Protocol Modeling and Analysis |
|
| Abstract: | |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ | |