首页> 中文期刊> 《计算机应用》 >密码协议的Promela语言建模及分析

密码协议的Promela语言建模及分析

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

给出了利用SPIN模型检测分析密码协议的一般方法.作为一个实例,对Needham-Schroeder 公钥密码协议用Promela语言建模,并利用SPIN进行了分析验证,发现了其安全漏洞.该方法很容易推广到有多个主体参与的密码协议的分析.

著录项

来源
《计算机应用》 |2005年第7期|1548-1550|共3页
作者
龙士工; 王巧丽; 李祥;
展开▼
作者单位

贵州大学;

计算机软件与理论研究所;

贵州;

贵阳;

550025;

贵州大学;

计算机软件与理论研究所;

贵州;

贵阳;

550025;

贵州大学;

计算机软件与理论研究所;

贵州;

贵阳;

550025;

展开▼
原文格式 PDF
正文语种 chi
中图分类数据安全;
关键词
密码协议; 模型检测; SPIN; Promela;

相似文献

中文文献
外文文献
专利

1. NSPK协议的Promela语言建模及分析 [J] . 田国良 ,陈春玲 . 电力系统通信 . 2008,第008期
2. 通信协议的Promela语言建模与检测 [J] . 陈义 ,唐郑熠 . 福建电脑 . 2016,第003期
3. 有色Petri网的一种密码协议建模分析 [J] . 罗志宏 ,朱思铭 . 现代计算机（专业版） . 2006,第002期
4. 基于Swarm平台的理性密码协议建模与仿真 [J] . 杨雪君 ,陈宁江 . 信息网络安全 . 2014,第008期
5. 基于Petri网的密码协议形式化建模 [J] . 白云莉 ,叶新铭 . 计算机科学 . 2012,第008期
6. 字典序列模型的密码协议代码实现安全分析 [C] . WU Fu-Sheng ,吴福生 . 中国密码学会2017年会 . 2017
7. Petri网在密码协议建模和分析中的应用 [A] . 李玉东 . 2009

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号