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

基于组合设计方法的安全支付协议的设计与验证

李晓乐  董荣胜  吴光伟  
【摘要】:针对银行、商家和客户对电子支付协议提出的11条安全需求,应用组合设计方法设计一个新的安全支付协议,并用 SMV 工具分析新协议的原子性。新协议满足指定的安全需求和电子商务协议的原子性要求,实现了电子商品和实物商品在线支付的设计目标,适用于多个客户和商家对同时进行交易。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 张静;;安全支付协议SSL和SET的分析比较[J];黑龙江科技信息;2009年30期
2 刘文琦;顾宏;;基于分层时间有色Petri网的支付协议公平性分析[J];电子与信息学报;2009年06期
3 庞辽军;李恕海;王育民;;一个公平有效的电子支付协议[J];计算机工程;2006年22期
4 樊凯;张卫东;王悦;寇卫东;;一种新型的电子支付协议[J];网络安全技术与应用;2008年09期
5 邓成玉,刘文远,赵国玉,方淑芬;ECC离线可分电子现金支付协议[J];计算机工程与设计;2004年10期
6 张泽莉,马华东;简单网络支付协议的形式模型[J];北京邮电大学学报;2002年04期
7 魏旭涛;;电子商务网络安全支付协议探究[J];科技信息;2007年07期
8 张锋;赵壮;;移动宏支付协议综述[J];华南金融电脑;2008年01期
9 赵英;袁莉;;电子商务支付协议及发展趋势研究——SSL、SET与3D-Secure比较[J];情报杂志;2006年11期
10 郭艾侠;邹湘军;李峰;吴小红;;基于信誉机制的支付协议形式化模型[J];计算机工程与设计;2009年12期
11 刘辉;程亮;;一种安全网络在线支付协议的设计与分析[J];计算机工程与科学;2009年10期
12 张征;何有世;;企业与消费者型(B to C)网络支付模式及相关安全技术研究[J];中国安全科学学报;2006年05期
13 陈浩;程娜;何大可;;ISI支付协议的Strand Space模型及其公平性分析[J];信息安全与通信保密;2006年10期
14 沈炜,陈纯;芯片电子商务体系结构分析及实现方案[J];计算机应用;2002年02期
15 ;Internet交易安全有保证[J];每周电脑报;1997年10期
16 ;计算机应用[J];电子科技文摘;2003年04期
17 范伟;寇卫东;李华平;党岚君;樊凯;;一种公平的移动支付协议[J];计算机工程与应用;2007年11期
18 刘义春;;P2P组合交易的公平支付协议[J];计算机工程;2008年18期
19 张向军;陈克非;;基于PBOC智能卡的匿名可分电子货币协议[J];计算机应用;2009年07期
20 王皓;郭荷清;尹剑飞;林满山;;公平的消息传输协议[J];计算机工程与设计;2006年07期
中国重要会议论文全文数据库 前5条
1 李晓乐;董荣胜;吴光伟;;基于组合设计方法的安全支付协议的设计与验证[A];广西计算机学会2007年年会论文集[C];2007年
2 余兴超;马争先;王玉斌;董荣胜;;基于UPPAAL的简单网络支付协议形式化验证[A];广西计算机学会2010年学术年会论文集[C];2010年
3 庞辽军;柳毅;王育民;;一个完全公平的电子支付协议[A];第十九次全国计算机安全学术交流会论文集[C];2004年
4 董炳武;万健;徐向华;;一种基于票据的P2P微支付协议[A];浙江省电子学会第七次会员代表大会暨2007学术年会论文集[C];2007年
5 陈洁;;浅谈SET协议的研究现状[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(下)[C];2006年
中国博士学位论文全文数据库 前6条
1 刘文琦;移动支付系统安全的若干关键问题研究[D];大连理工大学;2008年
2 彭冰;离线电子现金的协议研究[D];华中科技大学;2004年
3 郎为民;微支付协议研究[D];华中科技大学;2005年
4 姜楠;混沌Hash函数及其在电子商务安全中的应用研究[D];大连理工大学;2009年
5 姬东耀;因特网上信息安全与小额支付协议的设计分析[D];西安电子科技大学;2001年
6 陈莉;电子商务安全协议的设计与分析[D];解放军信息工程大学;2009年
中国硕士学位论文全文数据库 前10条
1 王希;视频支付协议的设计与分析[D];北京邮电大学;2010年
2 肖仕成;基于四方的安全电子商务支付协议研究[D];华中科技大学;2011年
3 王丹卉;基于XML的电子商务安全协议研究[D];西安电子科技大学;2005年
4 侯鹏亮;基于PKI PaymentSec安全支付系统设计[D];武汉大学;2004年
5 宋珊珊;基于WAP的移动电子商务安全支付协议架构的研究[D];东华大学;2008年
6 代新敏;网络安全协议的形式化描述与验证[D];重庆大学;2004年
7 刘婕;电子商务安全协议的分析[D];西安电子科技大学;2006年
8 李文娟;安全移动商务协议分析与研究[D];大连理工大学;2007年
9 汪杨琴;移动支付协议安全性研究[D];上海交通大学;2007年
10 鄢万军;B2C网上支付系统设计与实现[D];大连海事大学;2007年
中国重要报纸全文数据库 前1条
1 中国建设银行深圳市分行科技部 何庆东;电子商务中的安全技术[N];计算机世界;2001年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978