收藏本站
《广西计算机学会2010年学术年会论文集》2010年
收藏 | 手机打开
二维码
手机客户端打开本文

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

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

【共引文献】
中国期刊全文数据库 前10条
1 张斌;对SET协议安全机制的研究与策略[J];电脑与信息技术;2002年03期
2 张玉军,李忠诚;移动IPv6测试中的层次化协议描述和测试生成方法[J];电子学报;2004年S1期
3 高翔,戎舟,马秀飞,周亮;网络仪器与通信协议一致性测试技术[J];工业仪表与自动化装置;2005年01期
4 甘元驹;SET协议系统缺陷及其改进方案[J];计算机工程与应用;2003年20期
5 甘元驹;基于多银行的匿名的电子商务协议[J];计算机工程与应用;2003年29期
6 张清华,杨春德;ECC密码体制在电子商务中的应用[J];计算机工程与应用;2004年09期
7 彭勋,董荣胜,郭云川,蔡国永;安全支付协议的设计与验证研究[J];计算机工程与应用;2005年06期
8 汪勇,熊前兴;一种敏捷的电子商务协议[J];计算机工程与应用;2005年23期
9 程莉,毛莺池,王志坚;基于移动Agent的B2B协作电子商务系统[J];计算机工程;2003年05期
10 潘红艳,于全;用于通信网络协议开发的形式化方法[J];计算机工程;2004年02期
中国重要会议论文全文数据库 前4条
1 李晓乐;董荣胜;吴光伟;;基于组合设计方法的安全支付协议的设计与验证[A];广西计算机学会2007年年会论文集[C];2007年
2 萧德云;莫以为;;混合系统的验证与控制综合[A];第二十一届中国控制会议论文集[C];2002年
3 郭华;庄雷;;电子商务协议的形式化验证方法及FR验证实例[A];2005年全国理论计算机科学学术年会论文集[C];2005年
4 宋岩;徐皑冬;;ISO11783协议栈测试[A];2007'仪表,自动化及先进集成技术大会论文集(二)[C];2007年
中国博士学位论文全文数据库 前9条
1 陈靖;带实时的传值与移动系统研究[D];中国科学院研究生院(软件研究所);2003年
2 郅跃茹;混合动态系统中几个关键技术的研究[D];浙江大学;2005年
3 李梦君;安全协议形式化验证技术的研究与实现[D];国防科学技术大学;2005年
4 汪勇;基于Multi-Agent的智能电子商务系统研究[D];武汉理工大学;2005年
5 王涛;实时系统任务调度若干关键技术的研究[D];哈尔滨工程大学;2006年
6 文静华;电子商务协议形式化方法及模型检测技术的研究与应用[D];贵州大学;2006年
7 廖军;面向服务的计算(SOC)中服务组合的研究[D];电子科技大学;2006年
8 胡军;构件化嵌入式软件设计的分析与验证[D];南京大学;2005年
9 杨华千;基于混沌与代数群的分组密码算法研究[D];重庆大学;2007年
中国硕士学位论文全文数据库 前10条
1 何成;电子商务协议的逻辑分析与研究[D];西安理工大学;2002年
2 赵冬;对时间输入/输出自动机有效地进行一致性测试[D];郑州大学;2002年
3 刘微微;在线招投标系统中安全体系的设计与开发[D];上海海运学院;2001年
4 李志鹏;基于SET协议的电子交易系统研究与实现[D];哈尔滨工程大学;2003年
5 张福宾;基于PKI的安全电子政务的应用研究[D];中国海洋大学;2003年
6 卢虎;基于DSP的以太网技术及其实现[D];西北工业大学;2004年
7 陈汉蓉;基于IP选项的主动包研究[D];西南师范大学;2004年
8 肖群;电子支付协议和电子现金的研究[D];陕西师范大学;2004年
9 陈语林;电子商务中安全问题的研究[D];中南大学;2004年
10 王富强;数字商品交易协议研究[D];重庆大学;2004年
【相似文献】
中国期刊全文数据库 前10条
1 赵显琼;唐涛;;多端口形式化测试自动生成方法在CTCS-3车载系统中的应用[J];铁道学报;2011年07期
2 李方伟;闫少军;;基于Pay Word的微支付机制及改进分析综述[J];电信科学;2011年08期
3 桂兵祥;何健;;基于付费方式促进匿名通讯协作模型[J];武汉工业学院学报;2011年02期
4 练斌;陈恭亮;;多商家微支付方案的安全分析与改进[J];计算机工程与应用;2011年20期
5 ;[J];;年期
6 ;[J];;年期
7 ;[J];;年期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
中国重要会议论文全文数据库 前10条
1 余兴超;马争先;王玉斌;董荣胜;;基于UPPAAL的简单网络支付协议形式化验证[A];广西计算机学会2010年学术年会论文集[C];2010年
2 庞辽军;柳毅;王育民;;一个完全公平的电子支付协议[A];第十九次全国计算机安全学术交流会论文集[C];2004年
3 李晓乐;董荣胜;吴光伟;;基于组合设计方法的安全支付协议的设计与验证[A];广西计算机学会2007年年会论文集[C];2007年
4 张辉;董荣胜;高西;;一种嵌入式系统扩展流关系Petri网及应用[A];广西计算机学会2007年年会论文集[C];2007年
5 董炳武;万健;徐向华;;一种基于票据的P2P微支付协议[A];浙江省电子学会第七次会员代表大会暨2007学术年会论文集[C];2007年
6 陈洁;;浅谈SET协议的研究现状[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(下)[C];2006年
7 宋宗宇;王华;王清贤;;电子交易中的不可追踪的离线电子货币系统[A];计算机在土木工程中的应用——第十届全国工程设计计算机应用学术会议论文集[C];2000年
8 ;基于时间自动机的实时系统建模及验证[A];第六届和谐人机环境联合学术会议(HHME2010)、第19届全国多媒体学术会议(NCMT2010)、第6届全国人机交互学术会议(CHCI2010)、第5届全国普适计算学术会议(PCC2010)论文集[C];2010年
9 王常吉;李琴;杨兴凤;;一个多银行参与的可传递的公平电子现金系统[A];第二十三届中国数据库学术会议论文集(研究报告篇)[C];2006年
10 黄文婷;殷新春;;一种基于ACJT群签名方案的前向安全电子现金方案[A];2008年全国开放式分布与并行计算机学术会议论文集(上册)[C];2008年
中国重要报纸全文数据库 前10条
1 本报记者   尚晓阳  尹涛;股份支付计入成本或费用[N];中国证券报;2006年
2 苏群;海南“航海顺”差点翻船[N];中华工商时报;2007年
3 许海波;股份支付的会计和税法差异[N];海峡财经导报;2006年
4 财政部会计司;《企业会计准则——股份支付》简析[N];财会信报;2007年
5 ;企业会计准则第××号———股份支付(征求意见稿)[N];中国财经报;2006年
6 中国建设银行深圳市分行科技部 何庆东;电子商务中的安全技术[N];计算机世界;2001年
7 郭继宏;股份支付的账务处理[N];中国财经报;2006年
8 吕茂春;本案中甲银行是否应该承担违约责任?[N];中国城乡金融报;2007年
9 唐正旭;审计结论是当然的民诉证据吗?[N];建筑时报;2007年
10 周雪;“罗马不是一天建成的”[N];通信产业报;2006年
中国博士学位论文全文数据库 前10条
1 刘文琦;移动支付系统安全的若干关键问题研究[D];大连理工大学;2008年
2 庄雷;基于Gnutella协议的Peer-to-Peer网络研究及其协议验证[D];中国人民解放军信息工程大学;2004年
3 彭冰;离线电子现金的协议研究[D];华中科技大学;2004年
4 郎为民;微支付协议研究[D];华中科技大学;2005年
5 田文春;基于PKI的通信网安全技术与应用研究[D];华南理工大学;2002年
6 苏云学;电子现金支付系统的研究[D];解放军信息工程大学;2005年
7 姜楠;混沌Hash函数及其在电子商务安全中的应用研究[D];大连理工大学;2009年
8 李文敏;认证密钥协商协议的设计与应用[D];北京邮电大学;2012年
9 姬东耀;因特网上信息安全与小额支付协议的设计分析[D];西安电子科技大学;2001年
10 黄晓芳;移动DRM中的公平交换及关键技术的研究[D];北京邮电大学;2009年
中国硕士学位论文全文数据库 前10条
1 王希;视频支付协议的设计与分析[D];北京邮电大学;2010年
2 计宏霖;基于UPPAAL的电子商务协议安全性分析[D];解放军信息工程大学;2008年
3 肖仕成;基于四方的安全电子商务支付协议研究[D];华中科技大学;2011年
4 闫婷婷;基于第四方电子商务的统一支付平台及其协议的研究[D];华南理工大学;2012年
5 龚鸣;移动支付在电子商务中认证与支付协议分析[D];北京工业大学;2011年
6 邹淑君;基于UPPAAL的上下文感知系统的建模、仿真与验证工具的设计与实现[D];华东师范大学;2011年
7 徐洁琼;UPPAAL时间自动机到UML子图转换方法研究及工具实现[D];华东师范大学;2012年
8 余飞;基于Uppaal的多处理器实时系统的可调度性分析[D];上海交通大学;2011年
9 崔康乐;UML时序图模型到UPPAAL时间自动机模型转换方法研究和工具实现[D];华东师范大学;2011年
10 王丹卉;基于XML的电子商务安全协议研究[D];西安电子科技大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026