移动支付协议PCMS的形式化分析和验证

发布时间：2018-04-01 12:18

  本文选题：移动支付协议　切入点：模型检测　出处：《计算机工程与科学》2017年01期

【摘要】：移动电子商务协议的形式化分析和验证是近年来移动电子商务协议的一个重要研究热点。以一个支付网关为中心的匿名的移动电子商务支付协议PCMS为研究对象,建立了PCMS协议的时间自动机模型,并用计算树逻辑CTL公式描述PCMS协议的部分性质,最后利用模型检测工具UPPAAL对PCMS协议的无死锁、时效性、有效性和钱原子性进行检测验证。验证结果表明,以支付网关为中心的匿名的安全支付协议PCMS满足无死锁、时效性、有效性和钱原子性。
[Abstract]:Formal analysis and verification of mobile e-commerce protocols is an important research hotspot of mobile e-commerce protocols in recent years.Taking an anonymous mobile e-commerce payment protocol (PCMS) centered on a payment gateway as the research object, the time automata model of PCMS protocol is established, and some properties of the PCMS protocol are described by using the computational tree logic CTL formula.Finally, the model checking tool UPPAAL is used to verify the deadlock-free, timeliness, validity and money atomicity of PCMS protocol.The verification results show that the anonymous secure payment protocol (PCMS) centered on payment gateway satisfies deadlock-free, timeliness, validity and money atomicity.
【作者单位】： 郑州大学信息工程学院;
【基金】：国家973计划(2012CB315901) 国家自然科学基金(61379079) 河南省科技厅攻关项目(122102210042);河南省科技厅基础研究项目(142300410231,142300410308)
【分类号】：TN915.04

【相似文献】

相关期刊论文 前10条

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

2 刘军;;改进的公平微支付协议[J];计算机工程与应用;2010年27期

3 汪杨琴;;一个安全高效的移动微支付协议[J];计算机工程;2008年01期

4 刘恩贤;吕磊;姜辉;;移动商务中一种扩展的微支付协议研究[J];青岛大学学报(工程技术版);2009年01期

5 彭勋,董荣胜,郭云川,蔡国永;安全支付协议的设计与验证研究[J];计算机工程与应用;2005年06期

6 彭冰;付才;韩兰胜;;基于椭圆曲线的移动电子支付协议[J];华中科技大学学报(自然科学版);2008年10期

7 ;科学研究、技术发展与经济活动[J];电子科技文摘;2002年07期

8 张泽莉,马华东;简单网络支付协议的形式模型[J];北京邮电大学学报;2002年04期

9 刘霞;古天龙;董荣胜;郭云川;;移动环境公平支付协议的设计与分析研究[J];通信学报;2007年04期

10 ;教材评介[J];中国电子教育;2000年03期

相关会议论文 前3条

1 万仁福;李方伟;陈宇;;一种基于UOBT的移动微支付协议[A];第九届全国青年通信学术会议论文集[C];2004年

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

3 董炳武;万健;徐向华;;一种基于票据的P2P微支付协议[A];浙江省电子学会第七次会员代表大会暨2007学术年会论文集[C];2007年

相关重要报纸文章 前1条

1 华建明;违约造成对方的律师费用要赔偿[N];人民法院报;2001年

相关博士学位论文 前3条

1 郎为民;微支付协议研究[D];华中科技大学;2005年

2 付雄;移动学习资源有偿服务的支付协议研究[D];华中科技大学;2007年

3 张向军;集成化电子货币支付协议的研究[D];上海交通大学;2009年

相关硕士学位论文 前8条

1 邵th;专利反向支付协议的反垄断认定研究[D];华东政法大学;2015年

2 张帆;医药行业反向支付协议的反垄断规制[D];华东政法大学;2016年

3 郭颖颖;药品专利反向支付协议的反垄断法规制[D];郑州大学;2016年

4 何文鑫;微支付协议研究分析与系统实现[D];北京邮电大学;2009年

5 王希;视频支付协议的设计与分析[D];北京邮电大学;2010年

6 龚鸣;移动支付在电子商务中认证与支付协议分析[D];北京工业大学;2011年

7 孙俊杰;基于P2P的微支付研究[D];安徽农业大学;2012年

8 黄莉;具有公平性、原子性的小额付款系统模型研究[D];西南师范大学;2003年

，

本文编号：1695544