安全协议的SPIN建模与分析
SPIN-Based Security Protocol Modeling and Analysis作者机构：南京邮电大学软件学院南京210003
出 版 物：《南京航空航天大学学报》 (Journal of Nanjing University of Aeronautics & Astronautics)
年 卷 期：2009年第41卷第5期
页 面：672-676页
核心收录：
学科分类：0839[工学-网络空间安全] 08[工学]
主 题：安全协议 Helsinki协议 Promela语言 建模
摘 要：总结了利用模型检测工具SPIN对安全协议进行建模的方法。以Helsinki协议和Helsinki改进协议作为分析实例,用Promela语言建模并使用SPIN对模型进行行为模拟和属性校验,发现了Helsinki存在的Horng-Hsu攻击漏洞以及Helsinki改进协议存在的DoS攻击隐患。该方法具有较好的通用性,容易推广到有多个主体参与的安全协议的分析。
维普期刊数据库
同方期刊数据库