首页> 中文期刊> 《中南民族大学学报：自然科学版》 >基于SMV的安全协议建模及类型缺陷攻击发现

基于SMV的安全协议建模及类型缺陷攻击发现

开具论文收录证明 >>

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

文献代查 >>

文献数据库（团队版） >>

页面导航

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

摘要

在分析安全协议模型的基础上,探讨了基于SMV工具的安全协议的建模及发现类型缺陷攻击的方法,对Otway-Rees协议的建模和分析表明,该方法对于发现类型缺陷攻击是有效的.

著录项

来源
《中南民族大学学报：自然科学版》 |2005年第2期|68-71|共4页
作者
李东建; 陆际光;
展开▼
作者单位

中南民族大学计算机科学学院;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算机网络;
关键词
类型缺陷; 模型检验; 安全协议; 符号模型检验;

相似文献

中文文献
外文文献
专利

1. 基于SPIN的安全协议的攻击者建模方法研究 [J] . 易辉凡 ,万良 ,黄娜娜 . 信息网络安全 . 2018,第002期
2. 基于SMV的安全协议模型检验 [J] . 刘锋 ,李舟军 ,李梦君 . 计算机工程与科学 . 2004,第002期
3. TCP/IP协议的安全缺陷可能导致的网络攻击 [J] . 吕方兴 . 科技视界 . 2012,第010期
4. 安全协议类型漏洞攻击研究 [J] . 王鹃 ,张焕国 ,高峰 . 计算机工程 . 2008,第008期
5. 远程访问的缺陷--基于SMB协议的DoS攻击机制分析 [J] . 驻马店 ,步登辉 . 网管员世界 . 2004,第007期
6. 基于RSA签名的TLS协议的新攻击发现及其改进 [C] . Zhou Jing ,周静 ,Zhao Dongming . 2012河南省计算机大会暨学术年会 . 2012
7. 网络协议的形式化建模与基于模型检测的攻击发现 [A] . 孟国柱 . 2012

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号