改进型有色Petri网的安全协议分析

发布时间：2018-05-27 12:18

  本文选题：安全协议 + 有色Petri网　； 参考：《安徽工业大学学报(自然科学版)》2010年04期

【摘要】：针对传统有色Petri网方法在安全协议分析中存在的一些不足,提出一种新的基于有色Petri网模型的分析方法。给出改进型的基于有色Petri网的模型构造方法及协议分析的具体步骤,利用此法对具体的Helsinki协议进行建模和分析。实验证明,这种方法行之有效,且在一定程度上有利于有色Petri网安全协议向自动化分析方向发展。
[Abstract]:Aiming at the shortcomings of the traditional colored Petri net method in security protocol analysis, a new analysis method based on colored Petri net model is proposed. The improved model construction method based on colored Petri net and the concrete steps of protocol analysis are given. The concrete Helsinki protocol is modeled and analyzed by using this method. Experimental results show that this method is effective and beneficial to the development of colored Petri network security protocols towards automatic analysis.
【作者单位】： 安徽工业大学教务处;安徽工业大学计算机学院;
【基金】：安徽省教育厅自然科学基金重点项目(KJ2009A136)
【分类号】：TP301.1

【参考文献】

相关期刊论文 前1条

1 袁志祥,蒋昌俊,叶红;基于颜色Petri网的密码协议的分析[J];安徽工业大学学报;2002年04期

【共引文献】

相关期刊论文 前10条

1 曹进;;计算机协议安全漏洞及其防护[J];电脑知识与技术;2006年26期

2 吴立军,苏开乐;安全协议认证的形式化方法研究[J];计算机工程与应用;2004年17期

3 何冰,李肖坚,夏春和,夏克俭;公平的多方不可否认协议[J];计算机工程与应用;2005年27期

4 刘家芬;周明天;;认证测试方法对X.509认证协议的分析[J];计算机工程与应用;2006年08期

5 李静;肖美华;;网络认证协议攻击的非形式化分析[J];计算机工程与应用;2006年22期

6 杨世平;李祥;;BAN逻辑在协议分析中的密钥猜测分析缺陷[J];计算机工程;2006年09期

7 刘霞,陈勇;安全协议的形式化方法概述[J];计算机与数字工程;2005年05期

8 刘勇,徐林;SSL中分级加密的实现[J];计算机与数字工程;2005年05期

9 卓继亮,蔺慧丽,李先贤;具有可信第三方的认证协议的安全性[J];计算机应用研究;2004年12期

10 曹进;严登洲;张睿;;远程教学系统中的信息安全问题与对策分析[J];教育信息化;2006年23期

相关博士学位论文 前10条

1 刘益和;应用区域边界安全体系结构的模型研究[D];四川大学;2005年

2 肖迪;混沌理论在数字产品安全中的应用研究[D];重庆大学;2005年

3 王英龙;Ad Hoc网络路由协议安全性分析方法研究[D];山东大学;2005年

4 邢育红;公平交换协议分析方法研究[D];山东大学;2005年

5 缪祥华;一种分析和设计安全协议的新逻辑[D];西南交通大学;2006年

6 文静华;电子商务协议形式化方法及模型检测技术的研究与应用[D];贵州大学;2006年

7 李谢华;基于串空间模型的安全协议形式化验证方法的研究[D];上海交通大学;2007年

8 周勇;逻辑程序及其在安全协议验证中的应用[D];南京航空航天大学;2006年

9 潘洪军;面向对象代数Petri网模型研究[D];吉林大学;2007年

10 张瑶瑶;基于约束转换的离散事件系统监控器综合[D];浙江大学;2007年

相关硕士学位论文 前10条

1 彭诗力;网络入侵检测系统的研究与设计[D];中南大学;2005年

2 张广胜;基于时延Petri网的密码协议分析和评估[D];山东科技大学;2003年

3 李大科;手机银行安全协议设计与分析研究[D];河海大学;2004年

4 许建;基于Kerberos的身份认证机制研究[D];河海大学;2004年

5 石昊苏;基于串空间模型分析与验证密码安全协议[D];中国科学院研究生院（软件研究所）;2004年

6 刘明;iPMX下TCP的设计与安全实现[D];南京理工大学;2004年

7 邓剑锋;互联网组管理安全的研究与实现[D];广西师范大学;2004年

8 刘万授;基于UML安全协议的建模和自动检测[D];华南师范大学;2005年

9 吴瑞龙;一种基于有色Petri网模型的安全协议检测技术的研究[D];广西大学;2005年

10 练斌;安全微支付系统的研究与设计[D];西南交通大学;2005年

【相似文献】

相关期刊论文 前10条

1 马亚南;刘楠;祝跃飞;胡宗立;;安全协议状态空间的束动作偏序约简算法[J];计算机应用研究;2011年09期

2 ;[J];;年期

3 ;[J];;年期

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

相关会议论文 前3条

1 文静华;李祥;;安全开放系统的Petri网模型[A];2005年全国开放式分布与并行计算学术会议论文集[C];2005年

2 鲁志兵;胡金柱;胡燕;焦金丹;舒江波;;门户网自助系统的扩展有色Petri网建模与分析[A];2006年全国开放式分布与并行计算机学术会议论文集（三）[C];2006年

3 屠敏敏;周经宇;徐国治;;有色Petri网对Ad-Hoc网络协议软件系统设计的建模与仿真[A];系统仿真技术及其应用（第7卷）——'2005系统仿真技术及其应用学术交流会论文选编[C];2005年

相关重要报纸文章 前1条

1 张旭;怀进鹏：守护国家系统安全[N];中国工业报;2010年

相关博士学位论文 前4条

1 胡瑜;基于有色Petri网理论的并行自动测试系统建模研究[D];电子科技大学;2003年

2 缪祥华;一种分析和设计安全协议的新逻辑[D];西南交通大学;2006年

3 柯飞帆;面向分布应用的工作流管理系统研究与实现[D];南京航空航天大学;2006年

4 吴维敏;离散事件系统的Petri网控制器综合[D];浙江大学;2002年

相关硕士学位论文 前10条

1 宋小卫;基于有色Petri网的Web服务应用方法研究[D];大连理工大学;2009年

2 周长红;UML图的Petri网建模[D];山东科技大学;2004年

3 王海新;基于有色Petri网舰艇编队C~3I系统的建模与仿真研究[D];西安电子科技大学;2008年

4 刘通;Petri网在制造业物流系统中的应用[D];西安建筑科技大学;2006年

5 韩咚;基于颜色Petri网的安全协议分析[D];山东科技大学;2007年

6 杨晴晴;约束组合有色时间Petri网应用研究[D];合肥工业大学;2007年

7 佐校峰;CPN在现代海军编队协同作战C~3I系统建模仿真中的应用[D];西安电子科技大学;2008年

8 郭智奇;Petri网在井下机车调度中的建模与仿真[D];合肥工业大学;2007年

9 折建峰;WAP事务层协议的有色PETRI网建模与分析[D];武汉科技大学;2007年

10 邓磊;基于Petri网的安全工作流管理系统建模与设计[D];华中科技大学;2004年

，

本文编号：1942039