期刊文献+
共找到4篇文章
< 1 >
每页显示 20 50 100
电子商务支付模式选择 被引量:1
1
作者 汪洋 《安徽建筑工业学院学报(自然科学版)》 2001年第4期70-74,共5页
对电子商务支付模式、支付类型的选择 ,从安全需求分析、交易额大小及交易双方的具体关系性质等方面对电子商务支付模式加以讨论 ,并在风险、费用、方便性等方面对各有短长的两种信用卡支付协议——SSL。
关键词 电子商务、安全电子交易电子支付支付协议
下载PDF
SK签密方案的改进及应用 被引量:1
2
作者 张串绒 肖国镇 《计算机研究与发展》 EI CSCD 北大核心 2006年第z2期386-388,共3页
2000年,Seo和Kim提出了SK签密方案,将它用于电子支付交易系统.发现SK签密方案不具备电子支付交易系统所需的前向安全性.因此,对SK签密方案进行了改进,改进方案克服了原方案中存在的安全缺陷;并将改进方案应用于电子支付交易协议的设计,... 2000年,Seo和Kim提出了SK签密方案,将它用于电子支付交易系统.发现SK签密方案不具备电子支付交易系统所需的前向安全性.因此,对SK签密方案进行了改进,改进方案克服了原方案中存在的安全缺陷;并将改进方案应用于电子支付交易协议的设计,提出了前向安全电子支付交易协议. 展开更多
关键词 密码学 签密 前向安全性 电子支付交易
下载PDF
An Efficient Fair Electronic Cash System
3
作者 郭涛 Li Zhitang +1 位作者 Tan Yunmeng Wu Shizhong 《High Technology Letters》 EI CAS 2003年第3期1-5,共5页
In this paper, an efficient fair e-cash system is presented. Based on the improved Brands’ e-cash scheme, it is expanded by adding two roles, government and judges. The user can keep unconditionally anonymous in norm... In this paper, an efficient fair e-cash system is presented. Based on the improved Brands’ e-cash scheme, it is expanded by adding two roles, government and judges. The user can keep unconditionally anonymous in normal transactions. Authorized by the judges, the government can remove the identity of an illegal user with the help of the bank. So such misuse as blackmailing or money laundering can be prevented. Therefore, this scheme is more efficient, more suitable for adopting pre-processing and post-processing and more practical. In the paper, the details of the scheme are described, its security is proved, and its efficiency is analyzed. 展开更多
关键词 E-CASH electronic payment electronic commerce
下载PDF
实例化空间逻辑下的SET支付协议验证及改进 被引量:4
4
作者 肖茵茵 苏开乐 +1 位作者 马震远 胡若 《华中科技大学学报(自然科学版)》 EI CAS CSCD 北大核心 2013年第7期97-102,共6页
使用基于知识推理的实例化空间逻辑及其自动化验证工具SPV对SET支付协议的重要安全性质进行验证,并对协议进行改进.与模型检测法相比,可以验证协议在任意会话中的正确性;与定理证明等方法相比,验证过程是完全自动化的.在不影响原SET支... 使用基于知识推理的实例化空间逻辑及其自动化验证工具SPV对SET支付协议的重要安全性质进行验证,并对协议进行改进.与模型检测法相比,可以验证协议在任意会话中的正确性;与定理证明等方法相比,验证过程是完全自动化的.在不影响原SET支付协议安全性的前提下,使用实例化空间逻辑简化协议的复杂消息,并合理选择协议分支,建立比以往研究更贴近原协议的模型.给出了该模型及其秘密性、认证性在SPV下的形式化描述,并展示验证结果,分析验证效率.针对验证结果中不被满足的认知规范,给出协议的改进方案,解决了持卡人和支付网关之间的认证问题. 展开更多
关键词 知识推理 安全电子交易支付协议 形式化方法 实例化空间逻辑 自动化验证
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部