收藏本站
《大连理工大学学报》 2003年S1期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

串空间理论在网络安全协议形式化分析中应用

孙海波  林东岱  黄寄洪  
【摘要】:网络通信的普及和发展使得对网络协议尤其是安全协议的需求日益增长.同时由于安全要求的多样化以及攻击方式的层出不穷使得对于网络安全协议的形式化分析的效率和准确性提出了更高的要求.原有的形式化分析方法通常不可避免地出现状态空间爆炸问题,这使得对于日益增长的网络通信规模下的复杂协议的分析变得十分困难.串空间理论(strandspacetheory)的出现提供了避免状态爆炸问题、提高协议形式化分析效率的有效方法.用几个简单协议为例说明了如何利用串空间理论有效地进行协议的形式化分析.

【引证文献】
中国期刊全文数据库 前1条
1 成敏盈;陈潮填;徐文华;;改进型Helsinki协议的串空间模型分析[J];计算机工程与设计;2008年19期
中国博士学位论文全文数据库 前1条
1 李谢华;基于串空间模型的安全协议形式化验证方法的研究[D];上海交通大学;2007年
中国硕士学位论文全文数据库 前1条
1 成敏盈;电力系统安全协议形式化分析技术研究[D];广东工业大学;2008年
【同被引文献】
中国期刊全文数据库 前10条
1 于标;一个NP问题的近似算法[J];东北电力学院学报;2002年01期
2 王振朝;侯惠然;甘玉涛;;基于混沌理论的低压电力线通信信道建模研究[J];电测与仪表;2007年08期
3 鲍连承;赵景波;;访问控制技术综述[J];电气传动自动化;2006年04期
4 孙宏,杨义先;无线局域网协议802.11安全性分析[J];电子学报;2003年07期
5 王博;任彦;张思东;张宏科;;一种适用于Ad Hoc K重组播网络的负载均衡路由算法[J];电子学报;2007年07期
6 郑卓远,周娅;一种描述协议的新模型:线索空间模型[J];桂林电子工业学院学报;2003年01期
7 梁洪浩;王杰;;基于GPRS/CDMA技术构建的配用电侧通信平台[J];华东电力;2007年08期
8 周宏斌,黄连生,桑田;基于串空间的安全协议形式化验证模型及算法[J];计算机研究与发展;2003年02期
9 刘道斌,郭莉,白硕;一种新的安全协议验证方法[J];计算机研究与发展;2003年10期
10 任智;郭伟;苏静;刘军;;基于跨层协同设计的高效AODV改进路由算法[J];计算机学报;2007年05期
【二级引证文献】
中国博士学位论文全文数据库 前4条
1 谢鸿波;安全协议形式化分析方法的关键技术研究[D];电子科技大学;2011年
2 李俊霖;物联网传感网络安全协议形式化研究[D];云南大学;2011年
3 邓淼磊;几类安全协议的研究与设计[D];西安电子科技大学;2010年
4 闫丽丽;基于串空间理论的安全协议研究[D];西南交通大学;2012年
中国硕士学位论文全文数据库 前3条
1 张孝红;基于形式化方法的安全协议自动化验证算法的研究[D];湖南大学;2010年
2 刘燕玲;基于串空间模型的安全协议自动化验证方法研究[D];郑州大学;2011年
3 盛凯萍;普适计算环境下基于代理服务的信任计算[D];吉林大学;2012年
【相似文献】
中国期刊全文数据库 前10条
1 闫丽丽;彭代渊;高悦翔;;传感器网络安全协议的分析和改进[J];通信学报;2011年05期
2 董军;杨秀娟;赵艳芹;;基于串空间模型安全协议形式化分析方法的研究[J];计算机技术与发展;2008年04期
3 毋晓英;周清雷;;一种安全协议自动化分析方法[J];计算机应用研究;2010年06期
4 石昊苏,薛锐,冯登国;AVSP算法[J];计算机工程与设计;2005年04期
5 季晓君;田畅;张毓森;;MANET路由协议安全分析[J];应用科学学报;2007年01期
6 操漫成;;基于扩展串空间模型的IEEE802.11i分析[J];计算机工程;2009年10期
7 邢育红;卜凡金;李大兴;;基于串空间模型的电子商务协议的形式化分析[J];计算机工程与应用;2006年03期
8 邓淼磊;周跃华;余涛;周利华;;802.11i的认证安全性分析[J];计算机科学;2008年10期
9 展永刚;杨世平;;串空间模型对RPC协议机密性的验证[J];计算机安全;2009年03期
10 王玉磊;邓淼磊;钱兴中;周跃华;郭宏刚;;口令猜测攻击的串空间模型分析[J];河北师范大学学报(自然科学版);2009年02期
中国重要会议论文全文数据库 前10条
1 解云峰;李之棠;石曙东;;基于串空间模型的安全协议形式化分析方法研究[A];全国网络与信息安全技术研讨会’2004论文集[C];2004年
2 杨晓婕;缪祥华;仇细平;;Yahalom协议的改进及安全性分析[A];2009年研究生学术交流会通信与信息技术论文集[C];2009年
3 谢鸿波;周明天;;安全协议的形式化技术:述评[A];’2004计算机应用技术交流会议论文集[C];2004年
4 侯红霞;;信息安全专业“安全协议”课程的教改探讨[A];Proceedings of 2011 National Teaching Seminar on Cryptography and Information Security(NTS-CIS 2011) Vol.1[C];2011年
5 刘家芬;周明天;;对安全协议重放攻击的分类研究(英文)[A];计算机技术与应用进展——全国第17届计算机科学与技术应用(CACIS)学术会议论文集(下册)[C];2006年
6 李秋山;胡游君;;低成本RFID系统安全协议设计及其形式化分析[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(上)[C];2006年
7 徐锐;;设计安全协议[A];第十八次全国计算机安全学术交流会论文集[C];2003年
8 顾永跟;傅育熙;朱涵;吕银华;;基于进程演算的安全协议形式化分析[A];2005年全国理论计算机科学学术年会论文集[C];2005年
9 郭华;庄雷;;电子商务协议的形式化验证方法及FR验证实例[A];2005年全国理论计算机科学学术年会论文集[C];2005年
10 肖美华;邓宸芳;马小薏;薛锦云;江耘;;网络安全认证协议形式化分析[A];第二十次全国计算机安全学术交流会论文集[C];2005年
中国重要报纸全文数据库 前10条
1 律师潘家永;“安全协议”是学校的尚方宝剑吗[N];北京日报;2003年
2 于毅;美伊长期安全协议是一剂良药吗?[N];光明日报;2008年
3 蒋文峰;固安网改 无安全协议不开工[N];华北电力报;2000年
4 潘家永;所谓春游“安全协议”是学校的免责利器吗[N];中国教育报;2003年
5 林颖;欧盟最高法院一位资深人士向欧美航空安全协议“叫板”[N];人民法院报;2005年
6 通讯员 苗红俊;安全协议书让安全更有保证[N];人民铁道;2008年
7 许忠通讯员 王滢;吐哈指挥部实现安全协议全覆盖[N];中国石油报;2007年
8 潘家永;春游“安全协议”是学校的尚方宝剑吗[N];法制日报;2004年
9 陈南辉肖曙光;瑞金站公安派出所与村民签订安全协议书[N];人民铁道;2007年
10 驻京记者 王丹;中美合作重点:药品和医械进出口监管[N];医药经济报;2007年
中国博士学位论文全文数据库 前10条
1 闫丽丽;基于串空间理论的安全协议研究[D];西南交通大学;2012年
2 赵辉;安全协议形式化分析技术的研究[D];大连理工大学;2010年
3 谢鸿波;安全协议形式化分析方法的关键技术研究[D];电子科技大学;2011年
4 邓淼磊;几类安全协议的研究与设计[D];西安电子科技大学;2010年
5 刘家芬;安全协议形式化分析中认证测试方法的研究[D];电子科技大学;2009年
6 李俊霖;物联网传感网络安全协议形式化研究[D];云南大学;2011年
7 李磊;非否认协议关键技术研究[D];西安电子科技大学;2010年
8 范红;安全协议形式化分析理论与方法[D];中国人民解放军信息工程大学;2003年
9 石曙东;网络协议安全性分析中的逻辑化方法研究[D];华中科技大学;2009年
10 王英龙;Ad Hoc网络路由协议安全性分析方法研究[D];山东大学;2005年
中国硕士学位论文全文数据库 前10条
1 余磊;基于串空间模型的安全协议分析方法研究[D];淮北师范大学;2010年
2 赵自强;基于串空间模型的形式化方法的扩展与应用[D];成都理工大学;2011年
3 吴瑞龙;一种基于有色Petri网模型的安全协议检测技术的研究[D];广西大学;2005年
4 刘燕玲;基于串空间模型的安全协议自动化验证方法研究[D];郑州大学;2011年
5 李文娟;安全移动商务协议分析与研究[D];大连理工大学;2007年
6 尹学永;调和两种观点的安全协议形式化分析方法研究[D];山东大学;2009年
7 李轶谞;基于串空间的安全协议形式化分析建模和研究[D];南京邮电大学;2012年
8 胡游君;RFID安全协议形式化分析研究及DRAP协议的建立与实现[D];燕山大学;2007年
9 成敏盈;电力系统安全协议形式化分析技术研究[D];广东工业大学;2008年
10 姬国珍;基于Maude的安全协议的形式化分析[D];西安电子科技大学;2011年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026