一种颜色Petri网的电子商务协议分析方法

发布时间：2019-07-06 11:24

【摘要】：针对现有颜色Petri网方法未能分析时限性的缺点,提出一种基于颜色Petri网的电子商务协议分析方法,用于分析可追究性、公平性和时限性三个重要安全属性.针对时限性建立了表示主体是否成功接收消息的状态颜色集和主体自定义的时间颜色集,并充分考虑时限性对公平性的影响,更加有效地分析公平性.文中以KZG协议为例,建立了KZG的分层颜色Petri网模型,利用CPN Tools工具对该模型仿真运行,并通过状态空间和查询函数分析了协议的性质,证明了本方法的有效性.
[Abstract]:In view of the fact that the existing color Petri net methods fail to analyze the time limit, an e-commerce protocol analysis method based on color Petri net is proposed, which is used to analyze three important security attributes: traceability, fairness and time limit. Aiming at the time limit, the state color set which represents whether the agent successfully receives the message or not and the time color set defined by the agent are established, and the fairness is analyzed more effectively by fully considering the influence of time limit on fairness. In this paper, taking KZG protocol as an example, the hierarchical color Petri net model of KZG is established, and the model is simulated by CPN Tools tool. The properties of the protocol are analyzed by state space and query function, and the effectiveness of the method is proved.
【作者单位】： 燕山大学信息科学与工程学院;燕山大学里仁学院;
【基金】：河北省重大技术创新项目(09213562Z)资助 河北省自然科学基金青年科学(G2011203195)资助
【分类号】：TP393.04

【参考文献】

相关期刊论文 前4条

1 刘文琦;顾宏;;基于分层时间有色Petri网的支付协议公平性分析[J];电子与信息学报;2009年06期

2 黎波涛,罗军舟;不可否认协议的Petri网建模与分析[J];计算机研究与发展;2005年09期

3 于枫;罗军舟;李伟;王鹏;;一种基于进程验证的Petri网可达性判定方法[J];计算机学报;2010年02期

4 刘文琦;顾宏;;电子支付协议可追究性的Petri网建模与分析[J];系统仿真学报;2008年20期

【共引文献】

相关期刊论文 前10条

1 唐明伟;宋文;叶剑虹;;发送-接收问题的Petri网建模与验证[J];电子科技大学学报;2007年S3期

2 魏星;隋新;;SIP协议的形式化分析与验证[J];桂林航天工业高等专科学校学报;2009年01期

3 叶红;袁志祥;;SET协议的持卡人匿名性分析[J];安徽工业大学学报(自然科学版);2010年02期

4 李鑫;李仲学;李翠平;;基于Agent技术的井下运输仿真模型研究[J];金属矿山;2011年12期

5 刘云;郑红;;基于Petri网的数字家庭无线射频协议研究[J];计算机应用与软件;2011年10期

6 杨鹏;包广斌;鲁江;;基于广义随机Petri网的SIP的吞吐量性能研究[J];甘肃广播电视大学学报;2010年03期

7 白云莉;叶新铭;;基于Petri网的密码协议形式化建模[J];计算机科学;2012年08期

8 范玉涛;苏桂平;;一种含时间因素的安全协议形式化分析方法[J];计算机应用与软件;2013年01期

9 杨夏妮;龙法宁;张远夏;;基于约束优化的Petri网可达性分析[J];计算机应用;2013年04期

10 杨夏妮;;Petri网可达性的伪标识判定法[J];计算机应用与软件;2013年04期

相关会议论文 前2条

1 杨鹏;袁占亭;王继曾;;基于广义随机Petri网的SIP的性能分析[A];第六届全国信息获取与处理学术会议论文集（3）[C];2008年

2 杨鹏;袁占亭;王继曾;;基于广义随机Petri网的SIP的时延分析[A];第三届全国虚拟仪器大会论文集[C];2008年

相关博士学位论文 前7条

1 杨鹏;基于广义随机Petri网理论的SIP的研究[D];兰州理工大学;2009年

2 张立臣;面向普适计算的主动访问控制模型研究[D];陕西师范大学;2011年

3 刘文琦;移动支付系统安全的若干关键问题研究[D];大连理工大学;2008年

4 李艳平;若干安全协议的研究与设计[D];西安电子科技大学;2009年

5 李良;中国电子银行风险评估研究[D];大连理工大学;2010年

6 董学文;基于串空间模型安全协议形式化方法的分析与扩展[D];西安电子科技大学;2011年

7 陈黎洁;列车运行控制系统安全通信协议验证方法的研究[D];北京交通大学;2013年

相关硕士学位论文 前10条

1 刘云;数字家庭无线射频协议的形式化分析与研究[D];华东理工大学;2011年

2 苏曼;基于Petri网的数字家庭无线抄表建模与分析[D];华东理工大学;2011年

3 晁媛媛;基于分层思想的基本通信系统CPN建模[D];山东大学;2011年

4 郝天保;基于模糊时间Petri网的并行工作流模型研究[D];燕山大学;2011年

5 刘玉磊;基于Petri网模型的数据批处理系统研究与应用[D];哈尔滨工程大学;2011年

6 吴苏;一种可发现复杂循环结构的扩展α过程挖掘算法[D];哈尔滨工程大学;2011年

7 刘波;基于Petri网的网络入侵检测系统研究与实现[D];南京邮电大学;2012年

8 吕波;IPv6环境下IKEv2的形式化分析及应用研究[D];贵州大学;2007年

9 范钰丹;密码协议非否认性和公平性验证技术研究[D];解放军信息工程大学;2007年

10 唐明伟;Petri网在网络性能评价中的研究与应用[D];西华大学;2008年

【二级参考文献】

相关期刊论文 前10条

1 文静华;李祥;张焕国;梁敏;张梅;;基于ATL的公平电子商务协议形式化分析[J];电子与信息学报;2007年04期

2 于枫;罗军舟;李伟;;基于T-不变量消除的Petri网合法变迁引发序列判定算法[J];解放军理工大学学报(自然科学版);2008年05期

3 吴哲辉,王培良,赵茂先;无界公平Petri网的进程表达式[J];计算机学报;2000年04期

4 曾庆田,吴哲辉;Petri网的进程网系统[J];计算机学报;2002年12期

5 曾庆田,吴哲辉;无界Petri网的进程表达式[J];计算机学报;2003年12期

6 王彩芬,葛建华;一种分析电子商务协议的新方法[J];计算机学报;2004年04期

7 曾庆田;;一种基于同步合成构造Petri网进程表达式的方法[J];计算机学报;2008年03期

8 卿斯汉;一种新型的非否认协议[J];软件学报;2000年10期

9 李先贤,怀进鹏;公平的非否认密码协议及其形式分析与应用[J];软件学报;2000年12期

10 周典萃 ,卿斯汉 ,周展飞;一种分析电子商务协议的新工具[J];软件学报;2001年09期

【相似文献】

相关期刊论文 前10条

1 王兵;肖美华;刘晓清;朱宜炳;;电子商务协议原子性的SPIN分析[J];南昌大学学报(工科版);2007年02期

2 董荣胜;郭云川;古天龙;;一种电子商务协议原子性的模型检验分析方法[J];计算机科学;2005年04期

3 张梅,文静华,杨滋荣,李祥;CMP1协议的符号模型检验分析[J];海军工程大学学报;2005年03期

4 郭云川;丁丽;周渊;郭莉;;基于ProVerif的电子商务协议分析[J];通信学报;2009年03期

5 ;电子技术应用[J];电子科技文摘;2001年08期

6 郭云川;古天龙;董荣胜;蔡国永;;电子商务协议形式化分析的一种新方法[J];计算机科学;2004年08期

7 文静华;张梅;李祥;;ISI协议的符号模型检验分析[J];电讯技术;2005年06期

8 谭新莲;李磊;;安全电子商务协议的形式化分析[J];数学爱好者(教育学术);2008年02期

9 刘文远,邸鹤;带有公平电子合同的交易协议[J];微机发展;2005年11期

10 文静华;张梅;李祥;;基于博弈的电子商务协议分析[J];通信学报;2006年03期

相关会议论文 前3条

1 崔楠;汪学明;;基于SVO逻辑的电子商务协议非否认性形式化分析[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年

2 余兴超;马争先;王玉斌;董荣胜;;基于UPPAAL的简单网络支付协议形式化验证[A];广西计算机学会2010年学术年会论文集[C];2010年

3 侯红霞;;信息安全专业“安全协议”课程的教改探讨[A];Proceedings of 2011 National Teaching Seminar on Cryptography and Information Security(NTS-CIS 2011) Vol.1[C];2011年

相关博士学位论文 前10条

1 李云峰;电子商务协议安全性的形式化分析方法研究[D];西南交通大学;2009年

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

3 龙士工;串空间理论及其在安全协议分析中的应用研究[D];贵州大学;2007年

4 石曙东;网络协议安全性分析中的逻辑化方法研究[D];华中科技大学;2009年

5 李锋;移动支付安全研究[D];山东大学;2008年

6 刘文琦;移动支付系统安全的若干关键问题研究[D];大连理工大学;2008年

7 孟博;电子商务环境中在线支付协议和抗抵赖协议的研究[D];武汉理工大学;2003年

8 陈莉;电子商务安全协议的设计与分析[D];解放军信息工程大学;2009年

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

10 李向东;公平交换协议的形式化分析与设计[D];解放军信息工程大学;2009年

相关硕士学位论文 前10条

1 魏刚;基于知识和信念模型的电子商务协议分析[D];燕山大学;2012年

2 马生;有穷机和逻辑结合的电子商务协议分析方法[D];燕山大学;2012年

3 卢贝;颜色Petri网的电子商务协议形式化分析方法研究[D];燕山大学;2012年

4 胡磊;安全协议形式化分析方法的融合性研究[D];南昌大学;2007年

5 计宏霖;基于UPPAAL的电子商务协议安全性分析[D];解放军信息工程大学;2008年

6 何加亮;形式化逻辑方法在分析认证协议以及电子商务协议中的应用[D];吉林大学;2004年

7 王兵;电子商务协议的形式化分析[D];南昌大学;2007年

8 吴建耀;电子商务安全协议的形式化分析技术研究[D];西安电子科技大学;2005年

9 代新敏;网络安全协议的形式化描述与验证[D];重庆大学;2004年

10 党继胜;基于SVO逻辑的电子商务协议形式化分析与研究[D];贵州大学;2007年

，

本文编号：2510974