收藏本站
《广西大学》 2005年
收藏 | 手机打开
二维码
手机客户端打开本文

一种基于有色Petri网模型的安全协议检测技术的研究

吴瑞龙  
【摘要】:从20世纪70年代到现在,运用形式化方法对安全协议进行分析一直是计算机安全领域的研究热点。并产生了一些比较有影响的验证方法,如Ban逻辑方法、CSP方法、串空间模型方法、Paulson归纳法、Petri网方法等。虽然现在已经有许多的方法被用于安全协议的分析,但是具体分析安全协议时都有其不足之处,所以怎样对这些方法取长补短,发现更为有效的方法是很有意义的工作。本文在深入研究现有的基于有色Petri网的安全协议分析方法的基础上,针对其中存在若干问题,开展了以下方面的研究工作: (1)通过对消息结构的深入分析,我们首先提出消息构成的信息元、密文和消息三层结构,并通过对入侵过程的深入研究,提出了一种新的入侵模型。该模型为入侵者建立了从截获消息、再按照入侵者已有知识和消息格式构造新的消息集合,最后从消息集合中转发消息给用户的机制,克服了传统方法对入侵模型描述不具体的缺点。 (2)基于上述的入侵模型,提出了一种新的基于有色Petri网模型的安全协议检测方法。该方法克服了传统方法要先预知不安全状态才能进行检测的缺点,通过让入侵者最大限度的合成用户可以接收的消息,然后按照发送这些消息的广度优先搜索顺序生成状态空间,从而可以在其中发现
【学位授予单位】:广西大学
【学位级别】:硕士
【学位授予年份】:2005
【分类号】:TP393.08

【引证文献】
中国硕士学位论文全文数据库 前3条
1 宁亮;基于有色Petri网的SPIN协议验证[D];郑州大学;2007年
2 刘雨;CBTC系统通信协议的设计和形式化分析[D];北京交通大学;2007年
3 高霖;CBTC区域控制系统中列车管理的建模与分析[D];北京交通大学;2008年
【参考文献】
中国期刊全文数据库 前5条
1 刘道斌,郭莉,白硕;一种新的安全协议验证方法[J];计算机研究与发展;2003年10期
2 张玉清,王磊,肖国镇,吴建平;Needham-Schroeder公钥协议的模型检测分析[J];软件学报;2000年10期
3 卿斯汉;安全协议的设计与逻辑分析[J];软件学报;2003年07期
4 卿斯汉;安全协议20年研究进展[J];软件学报;2003年10期
5 冯登国,范红;安全协议形式化分析理论与方法研究综述[J];中国科学院研究生院学报;2003年04期
【共引文献】
中国期刊全文数据库 前10条
1 王海顺,吴鹏;工作流性能评价方法[J];安阳师范学院学报;2005年02期
2 薛景;;卫生监督管理信息系统工作流建模及分析[J];办公自动化;2008年14期
3 陈文明;高学东;;宝钢炼钢连铸物流仿真器的建模方法[J];宝钢技术;2009年05期
4 李军求,孙逢春,张承宁,张国忠;用CAD技术进行汽车底盘总布置设计方法的研究[J];车辆与动力技术;2004年02期
5 沈鹏;焦利明;杨建立;;基于Petri网的防空旅C4ISR系统决策组织结构[J];兵工自动化;2005年06期
6 吴圣义;吕永健;逯国亮;胡春林;;基于分层着色Petri网的飞机战伤抢修系统建模[J];兵工自动化;2007年05期
7 冯帆;孙德善;封会娟;索向军;;基于Petri网的单装备件需求量模型[J];兵工自动化;2008年07期
8 关成彬;段立;;Petri网在海军战役装备保障指挥中的应用[J];兵工自动化;2008年12期
9 梁旭斌;苏宪程;王景昌;赵前亮;;模糊petri网理论定量分析空间信息系统传输能力[J];兵工自动化;2009年08期
10 杨志华;刘顺利;刘己斌;;基于Petri网的防空兵群指挥信息结构建模分析[J];兵工自动化;2012年04期
中国重要会议论文全文数据库 前10条
1 王志坚;蔡自兴;;基于Petri网的企业信息化系统统一建模研究[A];第二十六届中国控制会议论文集[C];2007年
2 黄勇;胡健生;李晴帆;肖文昌;;模糊Petri网在通信网络综合性能评价中的应用[A];第十届全国信号处理学术年会(CCSP-2001)论文集[C];2001年
3 张兆心;方滨兴;张宏莉;;基于BAN逻辑的SIP网络中认证协议安全性分析[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(下)[C];2006年
4 程冬玲;朱永利;王新颖;;Petri网模型的程序代码转换[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
5 仇细平;缪祥华;杨晓婕;;Otway-Rees认证协议的分析与改进[A];2009年研究生学术交流会通信与信息技术论文集[C];2009年
6 刘芳;魏昭;董荣胜;;基于SPIN的协议分析技术研究[A];广西计算机学会2008年年会论文集[C];2008年
7 郭甜滋;毛楠;司志刚;陈丽;;Kerberos协议在单点登录中的改进及应用[A];计算机研究新进展(2010)——河南省计算机学会2010年学术年会论文集[C];2010年
8 傅荣;刘超男;;面向对象系统分析与设计中动态模型的Petri网描述[A];1999中国控制与决策学术年会论文集[C];1999年
9 张峰;傅荣;辜建德;李茂青;;信息系统协同开发的Petri网研究[A];1999中国控制与决策学术年会论文集[C];1999年
10 董明峰;王中胜;李敏强;;ERP中动态企业模型和建模方法[A];2000中国控制与决策学术年会论文集[C];2000年
中国博士学位论文全文数据库 前10条
1 刘心;基于Petri网的FMS建模及故障诊断方法研究[D];哈尔滨工程大学;2010年
2 徐小峰;面向船舶制造协同物流网络的资源优化研究[D];哈尔滨工程大学;2009年
3 刘天印;基于系统模拟的高校教师工作压力研究[D];华中科技大学;2010年
4 傅建庆;面向3G-WLAN互联网络的安全协议研究[D];浙江大学;2010年
5 张志明;柔性制造系统死锁预防的Petri网控制器综合[D];浙江大学;2010年
6 刘思华;电网故障诊断方法的研究[D];山东大学;2010年
7 朱强;基于对等网络架构的新型控制系统研究与实现[D];上海大学;2011年
8 张冬芳;3G网络的身份认证与内容安全关键技术研究[D];北京邮电大学;2010年
9 姜奇;异构无线网络匿名漫游研究[D];西安电子科技大学;2011年
10 陶雪飞;陶瓷企业低碳制造系统模式及评估与建模方法[D];重庆大学;2010年
中国硕士学位论文全文数据库 前10条
1 李蕾;有色Petri网的动态性质判定及其在组装生产线中的应用[D];山东科技大学;2010年
2 毋晓英;基于串空间模型的安全协议分析与验证方法的研究[D];郑州大学;2010年
3 钊红梅;工作流在网络管理系统中的应用[D];郑州大学;2010年
4 王佳慧;基于面向对象的随机Petri网图形建模与分析工具的开发[D];郑州大学;2010年
5 张茜;基于Petri网的网络脆弱性评估技术研究[D];哈尔滨工程大学;2010年
6 肖良清;基于时间Petri网的并行测试研究[D];长沙理工大学;2010年
7 常显斌;研发合作知识创新的资源分配研究[D];中国海洋大学;2010年
8 林洁;SRS-F01柔性制造教学系统的设计[D];苏州大学;2010年
9 陆洁;动态模糊Petri网理论及其应用研究[D];苏州大学;2010年
10 张微;多Agent在供应链销售系统中应用[D];河北工程大学;2010年
【同被引文献】
中国期刊全文数据库 前10条
1 姜浩,罗军舟,方宁生;一种基于有色Petri网的知识库验证方法[J];东南大学学报(自然科学版);2000年01期
2 高晶晶;陈霞;谈振辉;;高速铁路智能交通系统中的CBTC技术[J];电气化铁道;2006年06期
3 唐涛;郜春海;李开成;燕飞;;基于通信的列车运行控制技术发展战略探讨[J];都市快轨交通;2005年06期
4 刘会明;;基于通信的列车控制系统工程设计中需注意的几个问题[J];城市轨道交通研究;2006年05期
5 崔莉,鞠海玲,苗勇,李天璞,刘巍,赵泽;无线传感器网络研究进展[J];计算机研究与发展;2005年01期
6 范昊;吴哲辉;曾庆田;;一种兼顾协议正确性验证和性能评估的Petri网方法[J];计算机科学;2005年12期
7 李斌;辛海红;胡铭曾;;一种高效的用户级通信协议的研究与实现[J];计算机工程;2006年01期
8 王晶,樊晓桠,曹清;一种基于Petri网通信协议的分析和验证[J];计算机应用;2005年01期
9 李正明,沈正,杨继昌;基于Petri网的通讯协议分析与实现[J];计算机自动测量与控制;2001年05期
10 罗军舟,seu.edu.cn,沈俊,顾冠群;从Petri网到形式描述技术和协议工程[J];软件学报;2000年05期
中国博士学位论文全文数据库 前2条
1 胡瑜;基于有色Petri网理论的并行自动测试系统建模研究[D];电子科技大学;2003年
2 祖旭;基于Petri网理论的产品开发过程建模方法研究[D];大连理工大学;2005年
中国硕士学位论文全文数据库 前1条
1 吴少智;基于虚电路的微通信元系统架构的拥塞控制与建模[D];电子科技大学;2005年
【二级引证文献】
中国期刊全文数据库 前2条
1 侯媛彬;毛金波;;基于有色Petri网的自动化物流系统的研究[J];计算机测量与控制;2012年03期
2 杨明;邱昕夕;陈祥献;黄海;;CBTC中安全通信协议的设计与仿真研究[J];计算机工程;2012年19期
中国硕士学位论文全文数据库 前10条
1 李雷;基于SCADE的CBTC区域控制器软件测试方法研究[D];北京交通大学;2011年
2 张友兵;基于CPN的CTCS-3级列控系统RBC切换的建模与分析[D];北京交通大学;2010年
3 张路;基于SCADE的CBTC区域控制器软件开发[D];北京交通大学;2010年
4 刘晓磊;城市轨道交通区域控制器的研究[D];西南交通大学;2011年
5 刘烦;基于着色Petri网的发布/订阅系统的建模与分析[D];中国石油大学;2008年
6 王洪涛;基于时间触发机制的以太网在CBTC系统应用中的研究[D];北京交通大学;2009年
7 程景;基于自律分散技术的列车控制系统设计[D];西南交通大学;2010年
8 萨仁高娃;基于着色Petri网的LDP协议验证研究[D];内蒙古大学;2010年
9 石竹;基于CTCS-3级列控系统运营场景的RBC控车实时性能分析[D];北京交通大学;2012年
10 蒋倩;基于SDL的CTCS-3车地通信协议的描述与实现[D];北京交通大学;2012年
【二级参考文献】
中国期刊全文数据库 前8条
1 周典萃,卿斯汉,周展飞;Kailar逻辑的缺陷[J];软件学报;1999年12期
2 卿斯汉;一种新型的非否认协议[J];软件学报;2000年10期
3 王贵林,卿斯汉,周展飞;认证协议的一些新攻击方法[J];软件学报;2001年06期
4 周典萃 ,卿斯汉 ,周展飞;一种分析电子商务协议的新工具[J];软件学报;2001年09期
5 卿斯汉;安全协议的设计与逻辑分析[J];软件学报;2003年07期
6 冯登国;国内外密码学研究现状及发展趋势[J];通信学报;2002年05期
7 冯登国;国内外信息安全研究现状及其发展趋势[J];网络安全技术与应用;2001年01期
8 张玉清,李继红,肖国镇;密码协议分析工具——BAN逻辑及其缺陷[J];西安电子科技大学学报;1999年03期
【相似文献】
中国期刊全文数据库 前10条
1 李廷元;秦志光;刘晓东;张选芳;;Needham-Schroeder协议的认证测试方法形式化分析[J];计算机工程与应用;2010年19期
2 罗志宏;朱思铭;;有色Petri网的一种密码协议建模分析[J];现代计算机;2006年02期
3 文静华;张梅;李祥;;一种新的密码协议分析方法及其应用[J];计算机应用;2006年05期
4 王惠斌;常青美;祝跃飞;;基于PDS的IKE安全协议形式化分析[J];河南师范大学学报(自然科学版);2007年03期
5 慕建君;;一种形式化分析安全协议的新模型[J];西安电子科技大学学报;2006年03期
6 付宇;马自堂;王惠芳;;安全协议形式化混合分析技术的研究与应用[J];计算机工程;2006年17期
7 刘玉坤;张浩军;;基于模型检测的NS公钥认证协议分析[J];计算机与数字工程;2009年02期
8 刘培,周明天;基于串空间的认证协议分析[J];实验科学与技术;2005年03期
9 韩继红;范钰丹;王亚弟;郭渊博;;一种基于语义的安全协议形式化模型[J];计算机科学;2009年02期
10 胡声洲;余敏;彭文灵;;安全协议的关联性研究[J];计算机工程;2007年21期
中国重要会议论文全文数据库 前10条
1 徐锐;;设计安全协议[A];第十八次全国计算机安全学术交流会论文集[C];2003年
2 谢鸿波;周明天;;安全协议的形式化技术:述评[A];’2004计算机应用技术交流会议论文集[C];2004年
3 肖美华;邓宸芳;马小薏;薛锦云;江耘;;网络安全认证协议形式化分析[A];第二十次全国计算机安全学术交流会论文集[C];2005年
4 刘家芬;周明天;;对安全协议重放攻击的分类研究(英文)[A];计算机技术与应用进展——全国第17届计算机科学与技术应用(CACIS)学术会议论文集(下册)[C];2006年
5 侯红霞;;信息安全专业“安全协议”课程的教改探讨[A];Proceedings of 2011 National Teaching Seminar on Cryptography and Information Security(NTS-CIS 2011) Vol.1[C];2011年
6 李秋山;胡游君;;低成本RFID系统安全协议设计及其形式化分析[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(上)[C];2006年
7 顾永跟;傅育熙;朱涵;吕银华;;基于进程演算的安全协议形式化分析[A];2005年全国理论计算机科学学术年会论文集[C];2005年
8 解云峰;李之棠;石曙东;;基于串空间模型的安全协议形式化分析方法研究[A];全国网络与信息安全技术研讨会’2004论文集[C];2004年
9 董卫;王婷婷;;基于运行模式法的安全协议分析[A];2008'中国信息技术与应用学术论坛论文集(二)[C];2008年
10 孙守卿;李廉;章超;李彩虹;;基于模型检测工具SPIN的安全协议形式化分析[A];2005年全国理论计算机科学学术年会论文集[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];大连理工大学;2010年
2 王全来;密码协议的形式化分析方法研究[D];解放军信息工程大学;2009年
3 谢鸿波;安全协议形式化分析方法的关键技术研究[D];电子科技大学;2011年
4 范红;安全协议形式化分析理论与方法[D];中国人民解放军信息工程大学;2003年
5 周志勇;密码协议攻击规划理论及算法研究[D];解放军信息工程大学;2009年
6 石曙东;网络协议安全性分析中的逻辑化方法研究[D];华中科技大学;2009年
7 杨元原;密码协议的安全性分析技术研究[D];西安电子科技大学;2011年
8 董玲;密码协议工程与基于新鲜性的协议安全研究[D];上海交通大学;2008年
9 张玉清;计算机通信网安全协议的分析研究[D];西安电子科技大学;2000年
10 邓淼磊;几类安全协议的研究与设计[D];西安电子科技大学;2010年
中国硕士学位论文全文数据库 前10条
1 吴瑞龙;一种基于有色Petri网模型的安全协议检测技术的研究[D];广西大学;2005年
2 李文娟;安全移动商务协议分析与研究[D];大连理工大学;2007年
3 尹学永;调和两种观点的安全协议形式化分析方法研究[D];山东大学;2009年
4 李晨;关于密码协议的形式化分析方法的研究[D];电子科技大学;2010年
5 姬国珍;基于Maude的安全协议的形式化分析[D];西安电子科技大学;2011年
6 李大科;手机银行安全协议设计与分析研究[D];河海大学;2004年
7 高长喆;特殊环境下的协议安全研究[D];上海交通大学;2007年
8 党继胜;基于SVO逻辑的电子商务协议形式化分析与研究[D];贵州大学;2007年
9 袁亚飞;逻辑化方法的改进及若干密码协议安全性分析[D];中国人民解放军信息工程大学;2005年
10 陈强;安全协议的形式化分析研究[D];清华大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026