密码协议的SPIN建模和验证

邵晨曦; 胡香冬; 熊焰; 蒋凡

首页> 中文期刊> 《电子学报》 >密码协议的SPIN建模和验证

密码协议的SPIN建模和验证

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

为了将模型检测这种强有力的系统验证技术应用于网络协议的安全分析,形式化建模仍然是目前的关键问题和难点所在.本文提出了一种基于高级过程描述语言的建模方法.根据入侵者角色和攻击目标的不同,从入侵者的角度分析协议的运行模式,为每个主体建立过程模型,用模型检测工具进行分析验证.对BAN-Yahalom协议的SPIN分析验证了这种方法的可行性.该方法具有一定的通用性,对其它网络协议的分析有很好的参考价值.

著录项

来源
《电子学报》 |2002年第z1期|2099-2101|共3页
作者
邵晨曦; 胡香冬; 熊焰; 蒋凡;
展开▼
作者单位

中国科学技术大学;

中国科学技术大学;

中国科学技术大学;

中国科学技术大学;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP311.133.1;
关键词
模型检测; BAN-Yahalom协议; SPIN;

相似文献

中文文献
外文文献
专利

1. 密码协议的SPIN建模和验证 [J] . 邵晨曦 ,胡香冬 ,等 . 电子学报 . 2002,第12A期
2. 基于SPIN的MIXCOIN协议形式化分析与验证 [J] . 王西忠 ,肖美华 ,杨科 . 广西大学学报（自然科学版） . 2020,第006期
3. 运用SPIN对云环境双向认证协议Nayak的安全性验证 [J] . 肖美华 ,梅映天 ,李伟 . 计算机应用与软件 . 2017,第010期
4. 运用SPIN对开放授权协议OAuth 2.0的分析与验证 [J] . 程道雷 ,肖美华 ,刘欣倩 . 计算机工程与科学 . 2015,第011期
5. 基于Spin的安全协议形式化验证技术 [J] . 冉俊轶 ,吴尽昭 . 计算机应用 . 2014,第0z2期
6. 基于规划系统的密码协议安全性验证机制研究 [C] . 赵宇 ,王亚弟 ,韩继红 . 第五届中国信息和通信安全学术会议 . 2007
7. 基于有色Petri网的密码协议形式化分析与验证的研究 [A] . 张建波 . 2007

密码协议的SPIN建模和验证

摘要

著录项

相似文献

相关主题

期刊订阅