期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
9
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于四方的安全电子商务支付协议研究
被引量:
9
1
作者
甘早斌
肖仕成
+1 位作者
李开
肖国强
《计算机科学》
CSCD
北大核心
2011年第10期39-44,共6页
随着电子商务的迅速发展和普及,电子商务安全支付显得越来越重要,成为影响电子商务发展的关键技术。以国际电子商务支付协议标准SET协议为研究对象,针对其无法确保商品原子性和确认发送原子性的缺陷,进行了一些改进;建立了一个基于四方...
随着电子商务的迅速发展和普及,电子商务安全支付显得越来越重要,成为影响电子商务发展的关键技术。以国际电子商务支付协议标准SET协议为研究对象,针对其无法确保商品原子性和确认发送原子性的缺陷,进行了一些改进;建立了一个基于四方的、能够自动存取关键电子证据、确保商品原子性和确认发送原子性、仲裁处理交易纠纷的安全电子商务支付协议;给出了协议的形式化描述;最后对基于四方的电子商务支付协议的安全性进行了分析。
展开更多
关键词
电子商务支付
商品原子性
确认发送原子性
SET协议
在线阅读
下载PDF
职称材料
电子商务支付协议认证性的SVO逻辑验证
被引量:
7
2
作者
肖茵茵
苏开乐
《计算机工程与应用》
CSCD
2014年第8期6-10,共5页
与证伪法(如模型检测)相比,采用证真法(如定理证明和逻辑推理)能验证协议在任意会话中的正确性,但分析难度较高,验证过程较为复杂。使用SVO逻辑方法,以Netbill微支付协议为例,对电子商务支付协议的认证性进行形式化分析。扩展了SVO逻辑...
与证伪法(如模型检测)相比,采用证真法(如定理证明和逻辑推理)能验证协议在任意会话中的正确性,但分析难度较高,验证过程较为复杂。使用SVO逻辑方法,以Netbill微支付协议为例,对电子商务支付协议的认证性进行形式化分析。扩展了SVO逻辑的公理集;在不影响Netbill协议安全性的前提下,为其建立了简化模型;针对协议特点,修正和补充了其验证目标;给出了比之前更合理的协议假设,展示了具体的推理过程,分析了验证结果。结果表明,Netbill协议基本满足认证性。最后对相关研究工作进行了比较。
展开更多
关键词
SVO逻辑
电子商务支付
Netbill协议
认证性
在线阅读
下载PDF
职称材料
基于四方的安全电子商务支付协议分析与验证
被引量:
6
3
作者
肖仕成
李开
甘早斌
《计算机科学》
CSCD
北大核心
2012年第3期75-78,92,共5页
以基于四方的安全电子商务支付协议为研究对象,建立了协议的有限状态模型以及安全计算树逻辑CTL公式,利用符号模型检测工具SMV对协议的原子性进行检测验证。验证结果证明,基于四方的安全电子商务支付协议满足电子支付的金钱原子性、商...
以基于四方的安全电子商务支付协议为研究对象,建立了协议的有限状态模型以及安全计算树逻辑CTL公式,利用符号模型检测工具SMV对协议的原子性进行检测验证。验证结果证明,基于四方的安全电子商务支付协议满足电子支付的金钱原子性、商品原子性以及确认发送原子性,协议符合电子支付的原子性安全要求。
展开更多
关键词
电子商务支付
协议
模型检测
SMV
原子性
在线阅读
下载PDF
职称材料
电子商务支付与网上银行交易的安全
被引量:
3
4
作者
李晓峰
关振胜
《信息网络安全》
2008年第5期38-39,共2页
由于互联网本身的缺陷,造成了网上银行和电子商务的诸多安全问题。为了网上银行、电子商务的健康发展,在此就一些相关问题进行探析。商业银行网上业务发展策略发展电子商务的指导思想是:按科学发展观的要求,加快国民经济和社会信息化进...
由于互联网本身的缺陷,造成了网上银行和电子商务的诸多安全问题。为了网上银行、电子商务的健康发展,在此就一些相关问题进行探析。商业银行网上业务发展策略发展电子商务的指导思想是:按科学发展观的要求,加快国民经济和社会信息化进程,实施跨越式发展战略,
展开更多
关键词
数字证书
USBKEY
电子商务支付
网上银行交易
OTP
商业银行
第三方
支付
平台
在线阅读
下载PDF
职称材料
SET协议的电子商务支付安全加密方法
被引量:
1
5
作者
李静
郭云峰
《现代电子技术》
北大核心
2020年第11期83-86,共4页
为了更好地保障电子商务支付的安全性,提出基于SET协议的电子商务支付安全加密方法。结合密钥加密技术设计了电子支付安全协议,进一步结合二层神经网络原理对电子商务支付安全加密算法进行改进和优化,进而保证电子商务支付的安全性,实...
为了更好地保障电子商务支付的安全性,提出基于SET协议的电子商务支付安全加密方法。结合密钥加密技术设计了电子支付安全协议,进一步结合二层神经网络原理对电子商务支付安全加密算法进行改进和优化,进而保证电子商务支付的安全性,实现基于SET协议的电子商务支付安全加密方法的合理设计。最后通过实验证实,基于SET协议的电子商务支付安全加密方法具有更高的安全性和有效性,充分满足研究要求。
展开更多
关键词
电子商务支付
加密算法优化
SET协议
信息安全
安全密钥
支付
协议
在线阅读
下载PDF
职称材料
电子商务环境下交易安全与支付的途径及保障措施——评《电子商务安全与支付》
被引量:
2
6
作者
张颖
《中国安全科学学报》
CAS
CSCD
北大核心
2019年第4期190-190,共1页
《电子商务安全与支付》以电子商务环境下的交易安全与支付为主题,梳理总结国内外电子商务安全与支付管理经验,从电子商务交易安全角度,全面介绍网络安全技术、安全协议与认证、网上支付方式等相关内容。在电子商务专业学科理论指导下,...
《电子商务安全与支付》以电子商务环境下的交易安全与支付为主题,梳理总结国内外电子商务安全与支付管理经验,从电子商务交易安全角度,全面介绍网络安全技术、安全协议与认证、网上支付方式等相关内容。在电子商务专业学科理论指导下,该书突出问题导向和实际应用,通过实际案例和具体操作方法,提出电子商务交易安全支付的解决方案,重视对学生实践能力和创新能力的培养。
展开更多
关键词
电子
商务
安全
《
电子
商务
安全与
支付
》
交易安全
在线阅读
下载PDF
职称材料
电子商务对现代中央银行制度的五大挑战
被引量:
1
7
作者
彭路
《武汉金融》
北大核心
1999年第11期50-51,共2页
关键词
中央银行制度
子
商务
非银行金融机构
电子
货币系统
欧洲中央银行
电子
支付
央行监管
联合国国际贸易法委员会
电子商务支付
系统
《
电子
商务
示范法》
在线阅读
下载PDF
职称材料
中间件在电子支付中的应用
被引量:
1
8
作者
骆科东
王建民
孙家广
《计算机工程》
CAS
CSCD
北大核心
2002年第z1期240-243,共4页
提出一个应用于电子支付框架中的中间件结构,分析了它的安全性、方便性和灵活性,并与非中间件电子支付方式进行比较,分析采用中间件的好处。最后论述了这个中间件结构中的一些关键技术。
关键词
电子
支付
:中问件:
电子
商务
在线阅读
下载PDF
职称材料
建设有中国特色的网上支付系统
9
作者
孟宪伟
《中国流通经济》
CSSCI
北大核心
2000年第S1期66-68,共3页
关键词
支付
网关
购物卡
支付
信息
电子商务支付
系统
商家
持卡者
电子
商务
系统
持卡人
有中国特色
在线阅读
下载PDF
职称材料
题名
基于四方的安全电子商务支付协议研究
被引量:
9
1
作者
甘早斌
肖仕成
李开
肖国强
机构
华中科技大学计算机学院
出处
《计算机科学》
CSCD
北大核心
2011年第10期39-44,共6页
基金
国家自然科学基金(70672041)
湖北省自然科学基金(2007ABA307)
中央高校基本科研业务费(2010MS112)资助
文摘
随着电子商务的迅速发展和普及,电子商务安全支付显得越来越重要,成为影响电子商务发展的关键技术。以国际电子商务支付协议标准SET协议为研究对象,针对其无法确保商品原子性和确认发送原子性的缺陷,进行了一些改进;建立了一个基于四方的、能够自动存取关键电子证据、确保商品原子性和确认发送原子性、仲裁处理交易纠纷的安全电子商务支付协议;给出了协议的形式化描述;最后对基于四方的电子商务支付协议的安全性进行了分析。
关键词
电子商务支付
商品原子性
确认发送原子性
SET协议
Keywords
E-commerce payment
Goods atomicity
Confirmation delivery
Secure electronic transaction
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
电子商务支付协议认证性的SVO逻辑验证
被引量:
7
2
作者
肖茵茵
苏开乐
机构
广东技术师范学院计算机学院
中山大学信息科学与技术学院广东省信息安全重点实验室
北京大学信息科学技术学院教育部高可信软件技术重点实验室
出处
《计算机工程与应用》
CSCD
2014年第8期6-10,共5页
基金
国家自然科学基金(No.60903054)
国家重点基础研究发展规划(973)(No.2010CB328103)
+1 种基金
广东高校优秀青年创新人才培育项目(No.LYM11085
No.LYM11084)
文摘
与证伪法(如模型检测)相比,采用证真法(如定理证明和逻辑推理)能验证协议在任意会话中的正确性,但分析难度较高,验证过程较为复杂。使用SVO逻辑方法,以Netbill微支付协议为例,对电子商务支付协议的认证性进行形式化分析。扩展了SVO逻辑的公理集;在不影响Netbill协议安全性的前提下,为其建立了简化模型;针对协议特点,修正和补充了其验证目标;给出了比之前更合理的协议假设,展示了具体的推理过程,分析了验证结果。结果表明,Netbill协议基本满足认证性。最后对相关研究工作进行了比较。
关键词
SVO逻辑
电子商务支付
Netbill协议
认证性
Keywords
SVO logic
e-commerce payment
Netbill protocol
authentication properties
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
基于四方的安全电子商务支付协议分析与验证
被引量:
6
3
作者
肖仕成
李开
甘早斌
机构
华中科技大学计算机学院
出处
《计算机科学》
CSCD
北大核心
2012年第3期75-78,92,共5页
基金
国家自然科学基金(70672041)
湖北省自然科学基金(2007ABA307)
中央高校基本科研业务费(2010MS112)资助
文摘
以基于四方的安全电子商务支付协议为研究对象,建立了协议的有限状态模型以及安全计算树逻辑CTL公式,利用符号模型检测工具SMV对协议的原子性进行检测验证。验证结果证明,基于四方的安全电子商务支付协议满足电子支付的金钱原子性、商品原子性以及确认发送原子性,协议符合电子支付的原子性安全要求。
关键词
电子商务支付
协议
模型检测
SMV
原子性
Keywords
E-commerce payment protocol, Model checking, SMV, Atomicity
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
电子商务支付与网上银行交易的安全
被引量:
3
4
作者
李晓峰
关振胜
机构
中国金融认证中心
出处
《信息网络安全》
2008年第5期38-39,共2页
文摘
由于互联网本身的缺陷,造成了网上银行和电子商务的诸多安全问题。为了网上银行、电子商务的健康发展,在此就一些相关问题进行探析。商业银行网上业务发展策略发展电子商务的指导思想是:按科学发展观的要求,加快国民经济和社会信息化进程,实施跨越式发展战略,
关键词
数字证书
USBKEY
电子商务支付
网上银行交易
OTP
商业银行
第三方
支付
平台
分类号
TP393.08 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
SET协议的电子商务支付安全加密方法
被引量:
1
5
作者
李静
郭云峰
机构
衡水学院
出处
《现代电子技术》
北大核心
2020年第11期83-86,共4页
基金
河北省社会科学发展研究课题(201803120131)
河北省文化艺术科学规划课题(HB18⁃YB082)。
文摘
为了更好地保障电子商务支付的安全性,提出基于SET协议的电子商务支付安全加密方法。结合密钥加密技术设计了电子支付安全协议,进一步结合二层神经网络原理对电子商务支付安全加密算法进行改进和优化,进而保证电子商务支付的安全性,实现基于SET协议的电子商务支付安全加密方法的合理设计。最后通过实验证实,基于SET协议的电子商务支付安全加密方法具有更高的安全性和有效性,充分满足研究要求。
关键词
电子商务支付
加密算法优化
SET协议
信息安全
安全密钥
支付
协议
Keywords
e-commerce payment
encryption algorithm optimization
SET protocol
information security
security key
payment protocol
分类号
TN918-34 [电子电信—通信与信息系统]
TP266 [自动化与计算机技术—检测技术与自动化装置]
在线阅读
下载PDF
职称材料
题名
电子商务环境下交易安全与支付的途径及保障措施——评《电子商务安全与支付》
被引量:
2
6
作者
张颖
机构
济宁学院
出处
《中国安全科学学报》
CAS
CSCD
北大核心
2019年第4期190-190,共1页
文摘
《电子商务安全与支付》以电子商务环境下的交易安全与支付为主题,梳理总结国内外电子商务安全与支付管理经验,从电子商务交易安全角度,全面介绍网络安全技术、安全协议与认证、网上支付方式等相关内容。在电子商务专业学科理论指导下,该书突出问题导向和实际应用,通过实际案例和具体操作方法,提出电子商务交易安全支付的解决方案,重视对学生实践能力和创新能力的培养。
关键词
电子
商务
安全
《
电子
商务
安全与
支付
》
交易安全
分类号
F724.6 [经济管理—产业经济]
F832.2 [经济管理—金融学]
在线阅读
下载PDF
职称材料
题名
电子商务对现代中央银行制度的五大挑战
被引量:
1
7
作者
彭路
机构
武汉大学商学院金融系
出处
《武汉金融》
北大核心
1999年第11期50-51,共2页
关键词
中央银行制度
子
商务
非银行金融机构
电子
货币系统
欧洲中央银行
电子
支付
央行监管
联合国国际贸易法委员会
电子商务支付
系统
《
电子
商务
示范法》
分类号
F832.1 [经济管理—金融学]
在线阅读
下载PDF
职称材料
题名
中间件在电子支付中的应用
被引量:
1
8
作者
骆科东
王建民
孙家广
机构
清华大学计算机科学与技术系
出处
《计算机工程》
CAS
CSCD
北大核心
2002年第z1期240-243,共4页
文摘
提出一个应用于电子支付框架中的中间件结构,分析了它的安全性、方便性和灵活性,并与非中间件电子支付方式进行比较,分析采用中间件的好处。最后论述了这个中间件结构中的一些关键技术。
关键词
电子
支付
:中问件:
电子
商务
Keywords
Electronic payment system
Middle ware
Electronic commerce
分类号
TP399 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
建设有中国特色的网上支付系统
9
作者
孟宪伟
机构
北方交通大学
出处
《中国流通经济》
CSSCI
北大核心
2000年第S1期66-68,共3页
关键词
支付
网关
购物卡
支付
信息
电子商务支付
系统
商家
持卡者
电子
商务
系统
持卡人
有中国特色
分类号
F724.6 [经济管理—产业经济]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于四方的安全电子商务支付协议研究
甘早斌
肖仕成
李开
肖国强
《计算机科学》
CSCD
北大核心
2011
9
在线阅读
下载PDF
职称材料
2
电子商务支付协议认证性的SVO逻辑验证
肖茵茵
苏开乐
《计算机工程与应用》
CSCD
2014
7
在线阅读
下载PDF
职称材料
3
基于四方的安全电子商务支付协议分析与验证
肖仕成
李开
甘早斌
《计算机科学》
CSCD
北大核心
2012
6
在线阅读
下载PDF
职称材料
4
电子商务支付与网上银行交易的安全
李晓峰
关振胜
《信息网络安全》
2008
3
在线阅读
下载PDF
职称材料
5
SET协议的电子商务支付安全加密方法
李静
郭云峰
《现代电子技术》
北大核心
2020
1
在线阅读
下载PDF
职称材料
6
电子商务环境下交易安全与支付的途径及保障措施——评《电子商务安全与支付》
张颖
《中国安全科学学报》
CAS
CSCD
北大核心
2019
2
在线阅读
下载PDF
职称材料
7
电子商务对现代中央银行制度的五大挑战
彭路
《武汉金融》
北大核心
1999
1
在线阅读
下载PDF
职称材料
8
中间件在电子支付中的应用
骆科东
王建民
孙家广
《计算机工程》
CAS
CSCD
北大核心
2002
1
在线阅读
下载PDF
职称材料
9
建设有中国特色的网上支付系统
孟宪伟
《中国流通经济》
CSSCI
北大核心
2000
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部