期刊文献+
共找到152篇文章
< 1 2 8 >
每页显示 20 50 100
An Anonymous Payment Protocol withMobile Agents in Hostile Environments
1
作者 LIUYi XIANGMing-sen WANGYu-min 《Wuhan University Journal of Natural Sciences》 CAS 2005年第1期271-274,共4页
By using Pedersen's verifiable secret sharing scheme and the theory of crossvalidation, we propose an a-nonymous payment protocol which have following features: protecting theconfidentiality of sensitive payment i... By using Pedersen's verifiable secret sharing scheme and the theory of crossvalidation, we propose an a-nonymous payment protocol which have following features: protecting theconfidentiality of sensitive payment information from spying by malicioushosts; using a trustedthird party in a minimal way; verifying the validity of the share by the merchant; allowing agent toverify that the product which it is a-bout to receive is the one it is paying for; keeping thecustomer anonymous. 展开更多
关键词 mobile agent anonymous payment protocol verifiable secret sharing thetheory of cross validation
在线阅读 下载PDF
Efficient protocol of secure mobile payment
2
作者 LI Xi HU Han-ping 《通讯和计算机(中英文版)》 2007年第5期22-27,共6页
关键词 支付协议 电子商务 支付安全 行动付款
在线阅读 下载PDF
基于eSIM卡上送交通卡交易数据的稳定性和安全性的应用研究
3
作者 周迅 李敏 《江苏通信》 2025年第1期38-42,64,共6页
本文探讨了基于SIM卡的NFC贴卡公交支付技术,该技术对提升公交出行的便捷性具有重要意义。本文首先简要介绍了当前公交NFC刷卡支付的常见方式,并指出了其中存在的两个主要问题:公交移动网络不稳定和公交交易数据上传安全性的不足。随后... 本文探讨了基于SIM卡的NFC贴卡公交支付技术,该技术对提升公交出行的便捷性具有重要意义。本文首先简要介绍了当前公交NFC刷卡支付的常见方式,并指出了其中存在的两个主要问题:公交移动网络不稳定和公交交易数据上传安全性的不足。随后,本文提出了一种基于eSIM卡并通过BIP协议上送交通卡交易数据的安全方案。该方案利用BIP协议建立了更高速、更安全的连接通道,从而有效提升了现有NFC贴卡公交支付的稳定性和安全性。 展开更多
关键词 eSIM卡 安全公交支付 BIP协议 空中写号 网络优选
在线阅读 下载PDF
基于Raspberry Pi平台的无人值守自动洗车系统客户端设计与效果评估
4
作者 杨慧敏 《科技创新与应用》 2025年第29期102-105,共4页
该文探究无人值守自动洗车系统客户端的设计要点,并对其运行效果进行评估。系统客户端基于Raspberry Pi平台开发,包含Web客户端、服务器模块、客户端控制模块以及洗车机模块,采用网络传输和串口通信等方式实现不同模块之间的数据交互。... 该文探究无人值守自动洗车系统客户端的设计要点,并对其运行效果进行评估。系统客户端基于Raspberry Pi平台开发,包含Web客户端、服务器模块、客户端控制模块以及洗车机模块,采用网络传输和串口通信等方式实现不同模块之间的数据交互。客户端支持移动支付、洗车模式选择等人机交互功能,可完成数据处理、传输、多媒体展示等任务。从测试情况看,客户端软件平均启动时间仅为1.85 s,响应迅速;在稳定运行后,CPU占用率降低至1%以下,性能稳定,用户体验良好。 展开更多
关键词 无人值守自动洗车 Raspberry Pi平台 移动支付 HTTP协议 系统设计
在线阅读 下载PDF
元宇宙医学场景下医疗支付体系的结构性挑战与演 化路径
5
作者 高承实 《元宇宙医学》 2025年第4期39-47,共9页
随着医疗服务加速向虚实融合、持续交互与平台化形态演进,以元宇宙医学为代表的新型医疗范式,正对根植于传统线下诊疗逻辑的支付体系提出根本性质疑与结构性挑战。不同于早期数字医疗对支付渠道的简单线上化迁移,元宇宙医学通过重塑服... 随着医疗服务加速向虚实融合、持续交互与平台化形态演进,以元宇宙医学为代表的新型医疗范式,正对根植于传统线下诊疗逻辑的支付体系提出根本性质疑与结构性挑战。不同于早期数字医疗对支付渠道的简单线上化迁移,元宇宙医学通过重塑服务过程、价值创造与责任网络,暴露了现有支付体系在过程计量、实时协调与多主体分配上的深层局限。传统上将支付视为“中性结算基础设施”的理论预设,已难以解释和支撑元宇宙医学的发展需求。本文突破“工具中性”视角,将支付体系重新定位为医疗治理的内生性制度安排。通过制度分析与比较制度分析,系统审视了现有支付工具(如CBDC、稳定币)在应对虚实融合、过程化服务时的适配边界,并构建了以“制度合规性—技术灵活性—治理嵌入深度”为核心的三维分析框架。研究发现,元宇宙医学驱动支付体系发生三重根本性转变:功能上从事后结算工具转向过程协调机制;设计逻辑上从统一规则转向动态可编程协议;制度角色上从配套支撑转向核心治理基础设施。基于此,本文提出面向元宇宙医学的支付体系重构是一个跨层级的系统工程,需要在制度层确立其治理属性,在机制层发展按过程与效果付费的动态模型,在技术层审慎利用可编程与协议化能力作为支撑。研究结论表明,支付问题的解决是元宇宙医学可持续发展的先决条件,其演化路径并非单一技术替代,而是技术可能性、医疗价值理性与制度约束协同互构的复杂过程。这为理解数字时代医疗服务的组织变革与制度创新提供了新的理论视角。 展开更多
关键词 元宇宙医学 医疗支付体系 可编程支付 支付协议 制度重构
在线阅读 下载PDF
移动商务支付网关的设计与实现 被引量:4
6
作者 张晓莹 李维 +1 位作者 邹俊伟 范春晓 《电信科学》 北大核心 2003年第11期27-30,共4页
本文依据自主设计的适合于移动商务环境的简单电子支付协议,提出了一种在目前网络条件下的移动商务解决方案,设计并实现了一个移动商务支付网关,以解决移动商务交易过程中的电子支付问题。
关键词 移动商务 电子支付协议 电子商务 网关 移动因特网
在线阅读 下载PDF
基于可验证秘密分享的移动代理安全支付协议 被引量:5
7
作者 柳毅 许文丽 王育民 《华南理工大学学报(自然科学版)》 EI CAS CSCD 北大核心 2005年第6期14-17,共4页
移动代理的安全问题是移动代理技术面临的一个很大障碍.为保护移动代理支付时的信息安全,采用Pedersen可验证秘密分享方案,设计了一个基于移动代理技术的安全支付协议.文中详细分析和讨论了协议的性能,包括安全性、不可否认性以及协议... 移动代理的安全问题是移动代理技术面临的一个很大障碍.为保护移动代理支付时的信息安全,采用Pedersen可验证秘密分享方案,设计了一个基于移动代理技术的安全支付协议.文中详细分析和讨论了协议的性能,包括安全性、不可否认性以及协议的运行效率.结果表明,和已有的方案相比,该协议在保证具有合适运行效率的同时,弱化了已有方案的安全执行条件,增加了系统的安全性和灵活性,因此具有更好的应用价值. 展开更多
关键词 可验证秘密分享 移动代理 支付协议 不可否认性 运行效率
在线阅读 下载PDF
基于J2ME的移动支付安全方案研究 被引量:11
8
作者 许峰 崔隽 黄皓 《计算机科学》 CSCD 北大核心 2008年第10期94-97,121,共5页
安全方案对移动支付系统的安全性起着决定性作用,其中无线环境中的安全和对用户即手持设备的认证,更是系统成败的关键。借鉴国外已有的移动支付系统,结合宏支付的特点及安全要求,并考虑到J2ME平台本身提供的安全性,提出了一个基于J2ME... 安全方案对移动支付系统的安全性起着决定性作用,其中无线环境中的安全和对用户即手持设备的认证,更是系统成败的关键。借鉴国外已有的移动支付系统,结合宏支付的特点及安全要求,并考虑到J2ME平台本身提供的安全性,提出了一个基于J2ME的移动支付安全方案,重点解决无线环境下的用户的认证问题,来保证针对宏支付的移动支付系统的安全。分析测试验证了该安全方案的安全性及可行性。 展开更多
关键词 移动支付 安全方案 密码体制 J2ME平台
在线阅读 下载PDF
实例化空间逻辑下的SET支付协议验证及改进 被引量:4
9
作者 肖茵茵 苏开乐 +1 位作者 马震远 胡若 《华中科技大学学报(自然科学版)》 EI CAS CSCD 北大核心 2013年第7期97-102,共6页
使用基于知识推理的实例化空间逻辑及其自动化验证工具SPV对SET支付协议的重要安全性质进行验证,并对协议进行改进.与模型检测法相比,可以验证协议在任意会话中的正确性;与定理证明等方法相比,验证过程是完全自动化的.在不影响原SET支... 使用基于知识推理的实例化空间逻辑及其自动化验证工具SPV对SET支付协议的重要安全性质进行验证,并对协议进行改进.与模型检测法相比,可以验证协议在任意会话中的正确性;与定理证明等方法相比,验证过程是完全自动化的.在不影响原SET支付协议安全性的前提下,使用实例化空间逻辑简化协议的复杂消息,并合理选择协议分支,建立比以往研究更贴近原协议的模型.给出了该模型及其秘密性、认证性在SPV下的形式化描述,并展示验证结果,分析验证效率.针对验证结果中不被满足的认知规范,给出协议的改进方案,解决了持卡人和支付网关之间的认证问题. 展开更多
关键词 知识推理 安全电子交易支付协议 形式化方法 实例化空间逻辑 自动化验证
原文传递
安全支付协议的设计与验证研究 被引量:3
10
作者 彭勋 董荣胜 +1 位作者 郭云川 蔡国永 《计算机工程与应用》 CSCD 北大核心 2005年第6期139-143,共5页
安全支付协议是实现电子商务在线支付的关键。目前缺乏同时支持电子商品和实物商品的在线支付协议,基于此,该文给出了一种同时支持这两类商品交易的安全支付协议,最后使用SMV工具对协议的原子性进行了分析并验证了其可行性。
关键词 安全支付协议 SEP安 全性 原子性 符号模型验证 SMV
在线阅读 下载PDF
基于离线可信第三方的电子支付协议公平性分析 被引量:4
11
作者 田树华 陈立佳 李建茹 《计算机应用》 CSCD 北大核心 2009年第7期1839-1843,共5页
基于离线可信第三方的电子支付协议通常具有复杂结构,它由多个子协议组合而成,与传统认证协议有显著差别,主要表现在协议目标和攻击者模型两个方面。电子支付协议最主要目的是实现买卖双方的公平交换,同时假定交换双方都可能是不诚实的... 基于离线可信第三方的电子支付协议通常具有复杂结构,它由多个子协议组合而成,与传统认证协议有显著差别,主要表现在协议目标和攻击者模型两个方面。电子支付协议最主要目的是实现买卖双方的公平交换,同时假定交换双方都可能是不诚实的,需要考虑来自协议合法实体的内部攻击。在重新定义协议公平性和攻击者模型的基础上,提出扩展的串空间模型,以一个真实的电子支付协议为对象,演示了基于串空间理论的电子支付协议公平性形式化模型和分析方法,并指出该协议存在安全缺陷,提出改进意见。 展开更多
关键词 电子支付协议 离线可信第三方 公平性 串空间
在线阅读 下载PDF
基于分层时间有色Petri网的支付协议公平性分析 被引量:7
12
作者 刘文琦 顾宏 《电子与信息学报》 EI CSCD 北大核心 2009年第6期1445-1450,共6页
电子支付协议是一种重要的电子商务协议,公平性是其重要的安全属性之一。该文提出一种基于分层时间有色Petri网(HTCPN)的电子支付协议形式化分析方法。该方法在进行公平性分析时,充分考虑了两个环境因素:主体是否诚实和通信信道是否可靠... 电子支付协议是一种重要的电子商务协议,公平性是其重要的安全属性之一。该文提出一种基于分层时间有色Petri网(HTCPN)的电子支付协议形式化分析方法。该方法在进行公平性分析时,充分考虑了两个环境因素:主体是否诚实和通信信道是否可靠,与其他形式化方法相比,可以更有效地分析协议公平性。使用该方法对典型支付协议IBS协议进行分析,分析结果验证了所提模型和方法的有效性。 展开更多
关键词 有色Petri网(CPN) 支付协议 公平性 可追究性
在线阅读 下载PDF
基于PayWord的自更新Hash链微支付协议 被引量:6
13
作者 孟健 杨阳 《计算机工程》 CAS CSCD 北大核心 2009年第3期63-65,共3页
针对基于Hash链的小额支付协议PayWord在支付效率和安全性方面的不足,以及传统Hash链的应用存在长度限制的问题,提出一种新的适用于移动电子商务认证与微支付的协议,包括"多面额"Hash链思想、可自更新的Hash链机制和基于令牌... 针对基于Hash链的小额支付协议PayWord在支付效率和安全性方面的不足,以及传统Hash链的应用存在长度限制的问题,提出一种新的适用于移动电子商务认证与微支付的协议,包括"多面额"Hash链思想、可自更新的Hash链机制和基于令牌的快速认证方法。分析结果证明新协议可实现安全性、公平性和效率的统一,适用于移动用户与同一网络信息服务提供商进行频繁小额交易的移动商务环境。 展开更多
关键词 移动商务 微支付协议 HASH链 认证
在线阅读 下载PDF
ECC离线可分电子现金支付协议 被引量:2
14
作者 邓成玉 刘文远 +1 位作者 赵国玉 方淑芬 《计算机工程与设计》 CSCD 2004年第10期1726-1728,共3页
椭圆曲线密码体制以其特有的优越性被广泛用于数据加密、数字签名,同样也可用来构建电子现金系统。因此设计出了一个基于椭圆曲线离散对数的可分电子现金协议系统。此系统是基于椭圆曲线离散对数表示问题的。其安全性是基于椭圆曲线离... 椭圆曲线密码体制以其特有的优越性被广泛用于数据加密、数字签名,同样也可用来构建电子现金系统。因此设计出了一个基于椭圆曲线离散对数的可分电子现金协议系统。此系统是基于椭圆曲线离散对数表示问题的。其安全性是基于椭圆曲线离散对数的安全性。系统采用限制性盲签名,因此满足公平匿名性。 展开更多
关键词 ECC 盲签名 数据加密 数字签名 电子现金系统 椭圆曲线密码体制 离线 椭圆曲线离散对数 支付协议 安全性
在线阅读 下载PDF
电子支付协议可追究性的Petri网建模与分析 被引量:4
15
作者 刘文琦 顾宏 《系统仿真学报》 EI CAS CSCD 北大核心 2008年第20期5600-5604,5609,共6页
可追究性是电子支付协议必须满足的安全属性之一,针对电子支付协议,建立了支持支付协议可追究性分析的分层有色Petri网模型,并基于此提出一种对支付协议可追究性分析的一般性方法。Kungpisdan等人曾提出一种可追究性逻辑,证明一个典型... 可追究性是电子支付协议必须满足的安全属性之一,针对电子支付协议,建立了支持支付协议可追究性分析的分层有色Petri网模型,并基于此提出一种对支付协议可追究性分析的一般性方法。Kungpisdan等人曾提出一种可追究性逻辑,证明一个典型的移动支付协议KSL协议满足可追究性。但使用上述所提方法对该协议建模并进行可追究性分析,发现了可追究性逻辑未发现的漏洞,分析例证结果表明了所提方法的有效性。 展开更多
关键词 PETRI NETS CPN 可追究性 电子支付协议 电子商务
原文传递
一种安全高效的在线移动支付协议 被引量:3
16
作者 王菁 邬书跃 梁欣 《计算机工程与应用》 CSCD 2013年第16期82-85,96,共5页
针对现有移动支付中客户端有限的功耗、处理能力及安全性等问题,提出了一种安全高效的在线移动支付协议。该协议采用客户与银行共享的离线伪随机数作为密钥进行高效认证,能实现高效身份认证及会话密钥协商。客户与商家交易过程中采用共... 针对现有移动支付中客户端有限的功耗、处理能力及安全性等问题,提出了一种安全高效的在线移动支付协议。该协议采用客户与银行共享的离线伪随机数作为密钥进行高效认证,能实现高效身份认证及会话密钥协商。客户与商家交易过程中采用共享密钥加密敏感信息,能有效减轻客户端计算开销及实现非否认性。经过效率分析比较及BAN逻辑证明,该协议能以较低的计算及通信量获得较高的安全性,非常适合在移动终端上实现。 展开更多
关键词 移动商务 支付协议 伪随机数 BAN逻辑
在线阅读 下载PDF
满足多种安全属性的复合型支付协议及其逻辑分析 被引量:5
17
作者 陈莉 袁开银 《计算机应用研究》 CSCD 北大核心 2012年第7期2672-2677,共6页
针对典型电子支付协议存在的安全目标单一,不能满足日益提高的安全需求等问题,提出了一种能够满足认证性、密钥新鲜性、密钥秘密性、非否认性、公平性、可追究性和原子性等多种安全属性的复合型安全支付协议,该协议的认证子协议基于令... 针对典型电子支付协议存在的安全目标单一,不能满足日益提高的安全需求等问题,提出了一种能够满足认证性、密钥新鲜性、密钥秘密性、非否认性、公平性、可追究性和原子性等多种安全属性的复合型安全支付协议,该协议的认证子协议基于令牌概念设计,能够实现高效认证及会话密钥协商。通过引入公钥证书证明协议主体的身份、借助可信方传递付款收据以及采用FTP方式传送电子货币和付款收据等方式提出了支付子协议。使用逻辑分析方法对该协议进行严格逻辑推理验证,结果表明该协议能够满足多种安全属性。 展开更多
关键词 复合型支付协议 密钥新鲜性 密钥秘密性 原子性
在线阅读 下载PDF
一种小额支付协议的研究与设计 被引量:4
18
作者 阳富民 吴学锋 胡贯荣 《华中科技大学学报(自然科学版)》 EI CAS CSCD 北大核心 2003年第2期14-16,共3页
分析了PayWord这种小额支付协议 ,针对PayWord的一些关于交易原子性的局限性 ,提出了一种新的支付协议———CertPayWord,此协议沿用PayWord协议的Payword链来表示货币 ,充分利用交易证书对交易信息进行签名 ,并记录交易步骤的状态 。
关键词 小额支付协议 交易原子性 PayWord协议 CertPayWord协议 PayWord链 协议设计
在线阅读 下载PDF
移动环境公平支付协议的设计与分析研究 被引量:2
19
作者 刘霞 古天龙 +1 位作者 董荣胜 郭云川 《通信学报》 EI CSCD 北大核心 2007年第4期32-37,共6页
结合固定网络中的支付协议并充分考虑移动装置和无线网络的特点,提出了一种移动环境公平支付协议。利用模型检验工具对协议进行分析并将该协议与其他支付协议进行比较,分析和比较结果表明,该协议具有公平、保密、高效等特点,适用于移动... 结合固定网络中的支付协议并充分考虑移动装置和无线网络的特点,提出了一种移动环境公平支付协议。利用模型检验工具对协议进行分析并将该协议与其他支付协议进行比较,分析和比较结果表明,该协议具有公平、保密、高效等特点,适用于移动环境。 展开更多
关键词 公平支付协议 模型检验 公平性 移动环境
在线阅读 下载PDF
通用可组合的公平电子支付协议 被引量:2
20
作者 邓淼磊 王玉磊 周利华 《电子与信息学报》 EI CSCD 北大核心 2009年第5期1063-1066,共4页
公平性是电子支付协议的一个基本属性。该文基于通用可组合模型,定义了公平电子支付理想函数。在可转化签名理想函数、注册理想函数和安全会话理想函数辅助的混合模型下,构造了一个实现公平电子支付理想函数的公平电子支付协议。新的协... 公平性是电子支付协议的一个基本属性。该文基于通用可组合模型,定义了公平电子支付理想函数。在可转化签名理想函数、注册理想函数和安全会话理想函数辅助的混合模型下,构造了一个实现公平电子支付理想函数的公平电子支付协议。新的协议结构简单,通信量较低,并且在任意的和未知的多方环境中运行时仍然是安全的。 展开更多
关键词 电子支付协议 公平性 通用可组合
在线阅读 下载PDF
上一页 1 2 8 下一页 到第
使用帮助 返回顶部