收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

基于UPPAAL的简单网络支付协议形式化验证

余兴超  马争先  王玉斌  董荣胜  
【摘要】:简单网络支付协议是为不信任的双方实现安全支付交易而设计的电子商务协议。本文分析了协议中不同银行间的交易行为和各主体的超时约束,建立了消费者、商家、银行和超时计时器的时间自动机模型,借助模型检测工具UPPAAL验证了该协议满足货币原子性;针对协议是否满足商品原子性进行了分析,发现该模型可能产生消费者收到商品而不付款的问题,从而引入了仲裁状态可达性,保证了支付过程的可靠实现。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 余兴超;马争先;王玉斌;董荣胜;;基于UPPAAL的简单网络支付协议形式化验证[J];广西科学院学报;2010年04期
2 杨达;;基于UPPAAL的微内核操作系统程序验证方法研究[J];电脑与信息技术;2014年05期
3 王永亮;李立生;樊迪;刘聪;王坦坦;;基于uppaal的电压型配电自动化建模与仿真[J];现代电子技术;2020年03期
4 宋莉;刘伯鸿;;基于UPPAAL的列控系统临时限速建模与验证[J];铁路计算机应用;2020年05期
5 张媛;;合理原则之下——刺破反向支付协议的面纱[J];赤峰学院学报(汉文哲学社会科学版);2021年01期
6 万为众;;药企博弈机制与反向支付的经济政策规制[J];竞争政策研究;2020年03期
7 蔡国柱;;我国应对药品专利反向支付协议的反垄断研究[J];法制与社会;2020年33期
8 周楠;魏希娥;;微支付协议的研究评述[J];东方企业文化;2011年02期
9 刘军;;改进的公平微支付协议[J];计算机工程与应用;2010年27期
10 程宝;张福景;;基于UPPAAL的磁浮列车网络控制系统形式化建模与验证[J];铁道机车与动车;2021年11期
11 刘霞;古天龙;董荣胜;郭云川;;移动环境公平支付协议的设计与分析研究[J];通信学报;2007年04期
12 吴伟;王九林;杨波;;一种适用于移动环境中的微支付协议[J];北京电子科技学院学报;2005年04期
13 周清雷,姬莉霞,王艳梅;基于UPPAAL的实时系统模型验证[J];计算机应用;2004年09期
14 柳毅,庞辽军,王育民;一个基于移动代理的优化支付协议[J];计算机研究与发展;2005年10期
15 郭华;庄雷;张习勇;;UPPAAL——一种适合自动验证实时系统的工具[J];微计算机信息;2006年15期
16 彭勋,董荣胜,郭云川,蔡国永;安全支付协议的设计与验证研究[J];计算机工程与应用;2005年06期
17 李绩才;刘海林;;电子商务安全支付协议探究[J];价值工程;2006年12期
18 尹虎,张向军,陈克非;一种无线网络环境中的微支付协议[J];计算机工程;2005年12期
19 郭颖颖;;论药品专利诉讼中的反向支付协议[J];法制博览;2015年15期
20 谭运猛,杨宗凯,吴世忠;电子现金支付协议的研究[J];通信学报;2002年11期
中国重要会议论文全文数据库 前8条
1 余兴超;马争先;王玉斌;董荣胜;;基于UPPAAL的简单网络支付协议形式化验证[A];广西计算机学会2010年学术年会论文集[C];2010年
2 董炳武;万健;徐向华;;一种基于票据的P2P微支付协议[A];浙江省电子学会第七次会员代表大会暨2007学术年会论文集[C];2007年
3 万仁福;李方伟;陈宇;;一种基于UOBT的移动微支付协议[A];第九届全国青年通信学术会议论文集[C];2004年
4 李嵩;;第三方安全在线支付协议设计与分析[A];2006中国西部青年通信学术会议论文集[C];2006年
5 丁锦希;邵美玲;;美国专利反向支付协议反垄断诉讼适用规则现状研究[A];中国药学会医药知识产权研究专业委员会2013年学术年会会议资料[C];2013年
6 李晓乐;董荣胜;吴光伟;;基于组合设计方法的安全支付协议的设计与验证[A];广西计算机学会2007年年会论文集[C];2007年
7 庞辽军;柳毅;王育民;;一个完全公平的电子支付协议[A];第十九次全国计算机安全学术交流会论文集[C];2004年
8 ;基于时间自动机的实时系统建模及验证[A];第六届和谐人机环境联合学术会议(HHME2010)、第19届全国多媒体学术会议(NCMT2010)、第6届全国人机交互学术会议(CHCI2010)、第5届全国普适计算学术会议(PCC2010)论文集[C];2010年
中国博士学位论文全文数据库 前1条
1 郎为民;微支付协议研究[D];华中科技大学;2005年
中国硕士学位论文全文数据库 前20条
1 董家希;基于UPPAAL模型的列控等级转换场景测试用例生成方法研究[D];西南交通大学;2021年
2 王佳丽;我国医药领域反向支付协议规制构建探究[D];天津财经大学;2021年
3 李铭松;论我国反向支付协议的反垄断法规制[D];中央民族大学;2020年
4 丁泽;药品专利反向支付协议的反垄断审查[D];中国计量大学;2018年
5 靳安祺;药品专利反向支付协议的反垄断法规制研究[D];华中科技大学;2019年
6 马兆东;药品行业反向支付协议的反垄断法规制[D];安徽大学;2019年
7 伍方之;专利法与反垄断法交错视角下的美国药品反向支付协议[D];山东大学;2019年
8 张纳洁;药品专利反向支付协议的反垄断法规制[D];华东政法大学;2018年
9 张潇;反向支付协议的反垄断法规制研究[D];华东政法大学;2018年
10 张帆;医药行业反向支付协议的反垄断规制[D];华东政法大学;2016年
11 康洋;安全的微支付协议的设计与分析[D];天津大学;2018年
12 邵瑨;专利反向支付协议的反垄断认定研究[D];华东政法大学;2015年
13 何文鑫;微支付协议研究分析与系统实现[D];北京邮电大学;2009年
14 谭淑平;美欧医药行业反向支付协议的反垄断法违法性认定[D];南京大学;2020年
15 罗熠;专利反向支付协议反垄断法规制研究[D];江西财经大学;2020年
16 姜雪;我国医药行业反向支付协议的垄断认定探究[D];上海交通大学;2019年
17 谢林;基于UPPAAL的计算机联锁进路控制过程测试用例自动生成[D];西南交通大学;2017年
18 王观宁;基于UPPAAL的联锁进路控制流程建模与验证[D];北京交通大学;2009年
19 谢林夏;医药行业反向支付协议的反垄断法规制[D];西南科技大学;2021年
20 郭颖颖;药品专利反向支付协议的反垄断法规制[D];郑州大学;2016年
中国重要报纸全文数据库 前4条
1 记者 陈天翔;“小账”问题频现 阳光人寿违规被重点“关照”[N];第一财经日报;2010年
2 苏群;海南“航海顺”差点翻船[N];中华工商时报;2007年
3 张宁宁;职员私造7万元假协议[N];中国企业报;2007年
4 本报记者 赵晓菲;阳光保险的2010:产寿保费跳跃增长 29个分支被罚307.4万元[N];证券日报;2010年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978