收藏本站
《全国网络与信息安全技术研讨会’2004论文集》2004年
收藏 | 手机打开
二维码
手机客户端打开本文

一种安全协议分析的逻辑模型

杨明  罗车舟  
【摘要】:逻辑分析是安全协议分析的重要手段,本文在BAN(类)逻辑的基础上进行了重要的改进,并提出了目标驱动的分析方法以及协议分析树的概念。改进后的验证逻辑与原有逻辑相比,分析能力有所扩展、自动化分析系统的实现更为简便。

【参考文献】
中国期刊全文数据库 前1条
1 王贵林,卿斯汉,周展飞;认证协议的一些新攻击方法[J];软件学报;2001年06期
【共引文献】
中国期刊全文数据库 前3条
1 卿斯汉;安全协议的设计与逻辑分析[J];软件学报;2003年07期
2 卿斯汉;安全协议20年研究进展[J];软件学报;2003年10期
3 石曙东,李之棠;Kailar逻辑的缺陷及改进[J];计算机工程与设计;2004年06期
中国重要会议论文全文数据库 前1条
1 刘家芬;周明天;;对安全协议重放攻击的分类研究(英文)[A];计算机技术与应用进展——全国第17届计算机科学与技术应用(CACIS)学术会议论文集(下册)[C];2006年
中国博士学位论文全文数据库 前8条
1 杨力;无线网络可信认证技术研究[D];西安电子科技大学;2010年
2 王惠斌;安全认证协议的设计与分析[D];解放军信息工程大学;2010年
3 李谢华;基于串空间模型的安全协议形式化验证方法的研究[D];上海交通大学;2007年
4 杨世平;安全协议及其BAN逻辑分析研究[D];贵州大学;2007年
5 陶宏才;安全协议结构及其范式研究[D];西南交通大学;2007年
6 杨卫东;IEEE802.11无线网络媒体访问控制及认证协议研究[D];西安电子科技大学;2008年
7 刘家芬;安全协议形式化分析中认证测试方法的研究[D];电子科技大学;2009年
8 石曙东;网络协议安全性分析中的逻辑化方法研究[D];华中科技大学;2009年
中国硕士学位论文全文数据库 前10条
1 程莹;网络安全协议的模型检测分析及验证系统[D];南昌大学;2010年
2 刘文波;异构无线网络认证方法研究[D];浙江大学;2010年
3 魏刚;基于知识和信念模型的电子商务协议分析[D];燕山大学;2012年
4 何成;电子商务协议的逻辑分析与研究[D];西安理工大学;2002年
5 王昌晶;信息安全若干关键技术的研究与应用[D];江西师范大学;2004年
6 龙军;关于密码协议形式化验证方法的研究[D];国防科学技术大学;2003年
7 佟丽亚;网络视频会议系统的数据加密技术[D];大连海事大学;2005年
8 孙春燕;基于Linux的用户认证与应用授权研究[D];西安电子科技大学;2007年
9 滕波;数据包拦截技术在SSL VPN产品中的应用[D];电子科技大学;2007年
10 王峰;基于串空间理论的安全协议分析[D];郑州大学;2007年
【相似文献】
中国期刊全文数据库 前10条
1 张爱新,杨明福,李生红,李建华;一种认证安全性的分析与设计逻辑[J];上海交通大学学报;2004年S1期
2 范红,冯登国,邹良惠;安全协议形式化分析方法综述之一:基于推理结构性方法[J];网络安全技术与应用;2003年05期
3 石曙东,李芝棠;一种安全协议的逻辑分析与改进[J];华中科技大学学报(自然科学版);2004年07期
4 费定舟,邓达强;关于BAN逻辑的语义模型的分析与改进[J];计算机工程与应用;2004年15期
5 王惠芳,郭金庚;用BAN逻辑方法分析SSL 3.0协议[J];计算机工程;2001年11期
6 李之棠,石曙东,解云峰;NS协议的形式化分析与改进[J];计算机工程与科学;2004年02期
7 白跃彬,郑守淇,刘轶,朱利;一种认证方案的形式分析[J];西安交通大学学报;2001年04期
8 杨世平;李祥;;BAN逻辑在一类中间入侵攻击协议分析中的缺陷[J];计算机应用研究;2007年03期
9 冯彬;关于BAN逻辑分析的改进[J];中国科学院研究生院学报;2002年03期
10 金丽萍;顾翔;纪丽娜;;BAN逻辑及其在认证协议性质分析中的应用研究[J];电脑知识与技术;2008年12期
中国重要会议论文全文数据库 前10条
1 杨明;罗车舟;;一种安全协议分析的逻辑模型[A];全国网络与信息安全技术研讨会’2004论文集[C];2004年
2 缪祥华;;Needham-Schroeder共享密钥协议的改进[A];2009全国计算机网络与通信学术会议论文集[C];2009年
3 石春晖;赵战生;;认证协议安全分析[A];第十三届全国计算机安全技术交流会论文集[C];1998年
4 郭继如;;科来协议分析系统在开滦计算机网络中的试用效果分析研究[A];创新·融合·发展——创新型煤炭企业发展与信息化高峰论坛论文集[C];2010年
5 谢鸿波;周明天;;安全协议的形式化技术:述评[A];’2004计算机应用技术交流会议论文集[C];2004年
6 徐锐;;设计安全协议[A];第十八次全国计算机安全学术交流会论文集[C];2003年
7 盛思源;于广浚;李玮;;基于协议分析的智能入侵检测系统[A];网络安全技术的开发应用学术会议论文集[C];2002年
8 盛思源;战守义;毛剑;;入侵检测系统中的协议分析[A];第六届全国计算机应用联合学术会议论文集[C];2002年
9 雒群;刘秋实;;数据库通信协议分析与安全检测[A];第11届全国计算机在现代科学技术领域应用学术会议论文集[C];2003年
10 朱秀玲;李剑;杨义先;;一种基于马尔可夫链的入侵防御系统研究[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(下)[C];2006年
中国重要报纸全文数据库 前10条
1 应向荣;协议分析技术 承载IDS的希望[N];中国计算机报;2002年
2 四川大学电子信息学院 吴少华 方勇 冉逾;新视点: 基于协议分析的防火墙[N];计算机世界;2002年
3 钟力 姚兰 粱中骐;掌握安全主动权[N];网络世界;2002年
4 王尊义, 卢湖川;基于应用层协议进行邮件监听[N];计算机世界;2005年
5 钟力 姚兰 梁中骐;抓住罪恶之“手”[N];网络世界;2004年
6 ;寻找理想伙伴 找合适IDS[N];中国计算机报;2002年
7 奚嘉迪;后浪推前浪[N];计算机世界;2001年
8 本报记者 小白;以技术手段对抗“私服”[N];计算机世界;2005年
9 ;IPS的春天来了[N];中国计算机报;2004年
10 ;怎么解决IDS的问题[N];中国计算机报;2003年
中国博士学位论文全文数据库 前10条
1 张玉清;计算机通信网安全协议的分析研究[D];西安电子科技大学;2000年
2 于志宏;视频安全与网络安全若干问题研究[D];吉林大学;2009年
3 杨世平;安全协议及其BAN逻辑分析研究[D];贵州大学;2007年
4 谭建龙;串匹配算法及其在网络内容分析中的应用[D];中国科学院研究生院(计算技术研究所);2003年
5 石曙东;网络协议安全性分析中的逻辑化方法研究[D];华中科技大学;2009年
6 姬东耀;因特网上信息安全与小额支付协议的设计分析[D];西安电子科技大学;2001年
7 李阳;网格构件的形式模型与优化策略[D];浙江大学;2005年
8 邢育红;公平交换协议分析方法研究[D];山东大学;2005年
9 李向东;公平交换协议的形式化分析与设计[D];解放军信息工程大学;2009年
10 马亚娜;WEB环境下的认证技术研究[D];南京理工大学;2003年
中国硕士学位论文全文数据库 前10条
1 胡宝刚;基于协议分析的入侵检测系统的设计实现[D];山东大学;2005年
2 赵刚;高速网络环境下的网络入侵检测系统设计[D];哈尔滨理工大学;2005年
3 王星魁;网络连接记录特征属性优化[D];太原理工大学;2005年
4 张国权;基于模式匹配和协议分析的NIDS研究和设计[D];大连理工大学;2006年
5 朱海霞;基于协议分析的入侵检测系统的研究与实现[D];大连海事大学;2006年
6 刘少君;基于协议分析的网络入侵检测系统研究与设计[D];河海大学;2006年
7 刘艳昌;基于协议分析的网络入侵检测技术研究[D];西安建筑科技大学;2006年
8 张雷;基于模式匹配的网络入侵检测系统研究[D];西南交通大学;2005年
9 王秀芳;基于协议分析技术的入侵检测研究与应用[D];山东科技大学;2005年
10 姜卓彦;大流量主干网络中实时网络监测[D];电子科技大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026