期刊文献+
共找到151篇文章
< 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
一种比特币支付协议的形式化建模验证方法 被引量:1
5
作者 王炯涵 黄文超 +1 位作者 汪万森 熊焰 《信息安全研究》 CSCD 北大核心 2024年第4期311-317,共7页
作为主流的数字加密货币,比特币的安全性受到广泛关注,并且围绕其展开大量的研究工作.然而目前针对比特币支付过程的分析还比较欠缺,缺乏相关的安全标准和精细的建模分析,难以确保相关协议的安全.针对这一问题,基于比特币社区规范与比... 作为主流的数字加密货币,比特币的安全性受到广泛关注,并且围绕其展开大量的研究工作.然而目前针对比特币支付过程的分析还比较欠缺,缺乏相关的安全标准和精细的建模分析,难以确保相关协议的安全.针对这一问题,基于比特币社区规范与比特币的数字货币功能属性,为比特币支付协议建立了形式化的符号模型与对应的安全属性,并使用自动验证工具Tamarin对相关模型及属性进行了形式化验证,完成了对比特币支付协议的验证工作,并且发现一种未被讨论过的比特币支付协议中的安全威胁,对该问题可能产生的影响进行了分析。 展开更多
关键词 比特币 形式化验证 网络协议安全 支付过程 符号模型
在线阅读 下载PDF
基于Tamarin的门罗币支付协议分析方法
6
作者 李雨昕 黄文超 +1 位作者 王炯涵 熊焰 《信息网络安全》 CSCD 北大核心 2024年第5期756-766,共11页
门罗币作为一款基于区块链技术的高度匿名加密货币协议,旨在为用户提供强大的隐私保护功能。与其他加密货币不同,门罗币通过独特的支付协议对用户的交易隐私加强保护。然而,支付协议中存在的安全漏洞可能导致攻击者对交易信息进行分析... 门罗币作为一款基于区块链技术的高度匿名加密货币协议,旨在为用户提供强大的隐私保护功能。与其他加密货币不同,门罗币通过独特的支付协议对用户的交易隐私加强保护。然而,支付协议中存在的安全漏洞可能导致攻击者对交易信息进行分析或拦截,从而威胁用户的隐私安全。目前,对门罗币支付协议的研究主要集中在对匿名性漏洞的攻击,大部分攻击从外部特征出发,缺少对门罗币机制进行探索,不能充分保障支付过程的安全性和不可追踪性。因此需要进行更系统化的分析,以全面评估门罗币支付协议的安全性和不可追踪性。文章从模型规则、属性定义等角度对门罗币支付协议进行细粒度建模,并运用已有的Tamarin工具对相关属性进行验证,研究结果揭示了多个门罗币支付协议漏洞,并给出优化建议。 展开更多
关键词 门罗币 TAMARIN 支付协议 符号模型
在线阅读 下载PDF
基于量子纠缠测量理论的电子支付协议设计
7
作者 朱旻昊 马雷 《华东师范大学学报(自然科学版)》 CAS CSCD 北大核心 2024年第3期136-146,共11页
提出了一个基于量子力学基本理论的电子支付协议.经典支付系统存在部分漏洞,可能会带来安全隐患.利用纠缠粒子之间的关联性,实现签名、购买、支付等环节;使用量子单向函数和量子交换测试线路,验证签名的有效性;通过信道检测中的冗余粒... 提出了一个基于量子力学基本理论的电子支付协议.经典支付系统存在部分漏洞,可能会带来安全隐患.利用纠缠粒子之间的关联性,实现签名、购买、支付等环节;使用量子单向函数和量子交换测试线路,验证签名的有效性;通过信道检测中的冗余粒子传输支付信息,节约成本.该方案在量子力学基本原理的保证下,具有无条件的安全性,符合支付系统的基本要求. 展开更多
关键词 量子支付协议 量子纠缠 量子签名 无条件安全
在线阅读 下载PDF
密码学在网络支付安全中的应用及其挑战 被引量:1
8
作者 许海燕 《山西电子技术》 2024年第6期69-70,97,共3页
随着数字经济的快速发展,网络支付已成为日常生活中不可或缺的一部分。然而,随之而来的安全问题也日益凸显,尤其是在数据保护和交易安全方面的挑战。密码学作为网络支付安全的核心技术之一,其重要性不言而喻。通过概述网络支付系统的基... 随着数字经济的快速发展,网络支付已成为日常生活中不可或缺的一部分。然而,随之而来的安全问题也日益凸显,尤其是在数据保护和交易安全方面的挑战。密码学作为网络支付安全的核心技术之一,其重要性不言而喻。通过概述网络支付系统的基本构成以及所需满足的安全需求,分析密码学在数据传输中的加密技术、身份认证与数字签名网络支付中等核心领域的应用以及安全支付协议的实现,提出网络支付面临的主要安全威胁、密码技术的局限性,以及对抗量子计算的挑战,以期为应对网络支付安全中的挑战提供参考。 展开更多
关键词 网络支付安全 密码学 加密技术 身份认证 数字签名 安全支付协议
在线阅读 下载PDF
基于FPGA与指纹识别的支付系统设计
9
作者 吴建新 夏银桥 《长江信息通信》 2024年第3期138-140,共3页
随着科学技术的飞速发展,大型支付系统如支付宝、微信等广泛地融入到人们的生活中,但是它并不适用于小型门店消费与充值等应用场景。为了能够实现具有独立记录的小型支付系统,文章提出了一个基于FPGA的指纹支付系统。该系统采用键盘、... 随着科学技术的飞速发展,大型支付系统如支付宝、微信等广泛地融入到人们的生活中,但是它并不适用于小型门店消费与充值等应用场景。为了能够实现具有独立记录的小型支付系统,文章提出了一个基于FPGA的指纹支付系统。该系统采用键盘、显示器以及传感器等外设,当键盘获取到输入信息后,它将信号送到FPGA中,通过VGA协议显示到显示器。指纹模块通过UART通信协议完成数据传输与控制,获取FPGA发来的控制信息后进入录入、验证等状态。系统联调表明,它具有开户、查询、充值和消费等功能,不依赖账户的识别模式,依托于指纹搜索结果,适用于小规模应用场景。 展开更多
关键词 FPGA 指纹识别 支付系统 通信协议
在线阅读 下载PDF
移动商务支付网关的设计与实现 被引量:4
10
作者 张晓莹 李维 +1 位作者 邹俊伟 范春晓 《电信科学》 北大核心 2003年第11期27-30,共4页
本文依据自主设计的适合于移动商务环境的简单电子支付协议,提出了一种在目前网络条件下的移动商务解决方案,设计并实现了一个移动商务支付网关,以解决移动商务交易过程中的电子支付问题。
关键词 移动商务 电子支付协议 电子商务 网关 移动因特网
在线阅读 下载PDF
基于可验证秘密分享的移动代理安全支付协议 被引量:5
11
作者 柳毅 许文丽 王育民 《华南理工大学学报(自然科学版)》 EI CAS CSCD 北大核心 2005年第6期14-17,共4页
移动代理的安全问题是移动代理技术面临的一个很大障碍.为保护移动代理支付时的信息安全,采用Pedersen可验证秘密分享方案,设计了一个基于移动代理技术的安全支付协议.文中详细分析和讨论了协议的性能,包括安全性、不可否认性以及协议... 移动代理的安全问题是移动代理技术面临的一个很大障碍.为保护移动代理支付时的信息安全,采用Pedersen可验证秘密分享方案,设计了一个基于移动代理技术的安全支付协议.文中详细分析和讨论了协议的性能,包括安全性、不可否认性以及协议的运行效率.结果表明,和已有的方案相比,该协议在保证具有合适运行效率的同时,弱化了已有方案的安全执行条件,增加了系统的安全性和灵活性,因此具有更好的应用价值. 展开更多
关键词 可验证秘密分享 移动代理 支付协议 不可否认性 运行效率
在线阅读 下载PDF
基于J2ME的移动支付安全方案研究 被引量:11
12
作者 许峰 崔隽 黄皓 《计算机科学》 CSCD 北大核心 2008年第10期94-97,121,共5页
安全方案对移动支付系统的安全性起着决定性作用,其中无线环境中的安全和对用户即手持设备的认证,更是系统成败的关键。借鉴国外已有的移动支付系统,结合宏支付的特点及安全要求,并考虑到J2ME平台本身提供的安全性,提出了一个基于J2ME... 安全方案对移动支付系统的安全性起着决定性作用,其中无线环境中的安全和对用户即手持设备的认证,更是系统成败的关键。借鉴国外已有的移动支付系统,结合宏支付的特点及安全要求,并考虑到J2ME平台本身提供的安全性,提出了一个基于J2ME的移动支付安全方案,重点解决无线环境下的用户的认证问题,来保证针对宏支付的移动支付系统的安全。分析测试验证了该安全方案的安全性及可行性。 展开更多
关键词 移动支付 安全方案 密码体制 J2ME平台
在线阅读 下载PDF
实例化空间逻辑下的SET支付协议验证及改进 被引量:4
13
作者 肖茵茵 苏开乐 +1 位作者 马震远 胡若 《华中科技大学学报(自然科学版)》 EI CAS CSCD 北大核心 2013年第7期97-102,共6页
使用基于知识推理的实例化空间逻辑及其自动化验证工具SPV对SET支付协议的重要安全性质进行验证,并对协议进行改进.与模型检测法相比,可以验证协议在任意会话中的正确性;与定理证明等方法相比,验证过程是完全自动化的.在不影响原SET支... 使用基于知识推理的实例化空间逻辑及其自动化验证工具SPV对SET支付协议的重要安全性质进行验证,并对协议进行改进.与模型检测法相比,可以验证协议在任意会话中的正确性;与定理证明等方法相比,验证过程是完全自动化的.在不影响原SET支付协议安全性的前提下,使用实例化空间逻辑简化协议的复杂消息,并合理选择协议分支,建立比以往研究更贴近原协议的模型.给出了该模型及其秘密性、认证性在SPV下的形式化描述,并展示验证结果,分析验证效率.针对验证结果中不被满足的认知规范,给出协议的改进方案,解决了持卡人和支付网关之间的认证问题. 展开更多
关键词 知识推理 安全电子交易支付协议 形式化方法 实例化空间逻辑 自动化验证
原文传递
安全支付协议的设计与验证研究 被引量:3
14
作者 彭勋 董荣胜 +1 位作者 郭云川 蔡国永 《计算机工程与应用》 CSCD 北大核心 2005年第6期139-143,共5页
安全支付协议是实现电子商务在线支付的关键。目前缺乏同时支持电子商品和实物商品的在线支付协议,基于此,该文给出了一种同时支持这两类商品交易的安全支付协议,最后使用SMV工具对协议的原子性进行了分析并验证了其可行性。
关键词 安全支付协议 SEP安 全性 原子性 符号模型验证 SMV
在线阅读 下载PDF
基于离线可信第三方的电子支付协议公平性分析 被引量:4
15
作者 田树华 陈立佳 李建茹 《计算机应用》 CSCD 北大核心 2009年第7期1839-1843,共5页
基于离线可信第三方的电子支付协议通常具有复杂结构,它由多个子协议组合而成,与传统认证协议有显著差别,主要表现在协议目标和攻击者模型两个方面。电子支付协议最主要目的是实现买卖双方的公平交换,同时假定交换双方都可能是不诚实的... 基于离线可信第三方的电子支付协议通常具有复杂结构,它由多个子协议组合而成,与传统认证协议有显著差别,主要表现在协议目标和攻击者模型两个方面。电子支付协议最主要目的是实现买卖双方的公平交换,同时假定交换双方都可能是不诚实的,需要考虑来自协议合法实体的内部攻击。在重新定义协议公平性和攻击者模型的基础上,提出扩展的串空间模型,以一个真实的电子支付协议为对象,演示了基于串空间理论的电子支付协议公平性形式化模型和分析方法,并指出该协议存在安全缺陷,提出改进意见。 展开更多
关键词 电子支付协议 离线可信第三方 公平性 串空间
在线阅读 下载PDF
基于分层时间有色Petri网的支付协议公平性分析 被引量:7
16
作者 刘文琦 顾宏 《电子与信息学报》 EI CSCD 北大核心 2009年第6期1445-1450,共6页
电子支付协议是一种重要的电子商务协议,公平性是其重要的安全属性之一。该文提出一种基于分层时间有色Petri网(HTCPN)的电子支付协议形式化分析方法。该方法在进行公平性分析时,充分考虑了两个环境因素:主体是否诚实和通信信道是否可靠... 电子支付协议是一种重要的电子商务协议,公平性是其重要的安全属性之一。该文提出一种基于分层时间有色Petri网(HTCPN)的电子支付协议形式化分析方法。该方法在进行公平性分析时,充分考虑了两个环境因素:主体是否诚实和通信信道是否可靠,与其他形式化方法相比,可以更有效地分析协议公平性。使用该方法对典型支付协议IBS协议进行分析,分析结果验证了所提模型和方法的有效性。 展开更多
关键词 有色Petri网(CPN) 支付协议 公平性 可追究性
在线阅读 下载PDF
基于PayWord的自更新Hash链微支付协议 被引量:6
17
作者 孟健 杨阳 《计算机工程》 CAS CSCD 北大核心 2009年第3期63-65,共3页
针对基于Hash链的小额支付协议PayWord在支付效率和安全性方面的不足,以及传统Hash链的应用存在长度限制的问题,提出一种新的适用于移动电子商务认证与微支付的协议,包括"多面额"Hash链思想、可自更新的Hash链机制和基于令牌... 针对基于Hash链的小额支付协议PayWord在支付效率和安全性方面的不足,以及传统Hash链的应用存在长度限制的问题,提出一种新的适用于移动电子商务认证与微支付的协议,包括"多面额"Hash链思想、可自更新的Hash链机制和基于令牌的快速认证方法。分析结果证明新协议可实现安全性、公平性和效率的统一,适用于移动用户与同一网络信息服务提供商进行频繁小额交易的移动商务环境。 展开更多
关键词 移动商务 微支付协议 HASH链 认证
在线阅读 下载PDF
ECC离线可分电子现金支付协议 被引量:2
18
作者 邓成玉 刘文远 +1 位作者 赵国玉 方淑芬 《计算机工程与设计》 CSCD 2004年第10期1726-1728,共3页
椭圆曲线密码体制以其特有的优越性被广泛用于数据加密、数字签名,同样也可用来构建电子现金系统。因此设计出了一个基于椭圆曲线离散对数的可分电子现金协议系统。此系统是基于椭圆曲线离散对数表示问题的。其安全性是基于椭圆曲线离... 椭圆曲线密码体制以其特有的优越性被广泛用于数据加密、数字签名,同样也可用来构建电子现金系统。因此设计出了一个基于椭圆曲线离散对数的可分电子现金协议系统。此系统是基于椭圆曲线离散对数表示问题的。其安全性是基于椭圆曲线离散对数的安全性。系统采用限制性盲签名,因此满足公平匿名性。 展开更多
关键词 ECC 盲签名 数据加密 数字签名 电子现金系统 椭圆曲线密码体制 离线 椭圆曲线离散对数 支付协议 安全性
在线阅读 下载PDF
电子支付协议可追究性的Petri网建模与分析 被引量:4
19
作者 刘文琦 顾宏 《系统仿真学报》 EI CAS CSCD 北大核心 2008年第20期5600-5604,5609,共6页
可追究性是电子支付协议必须满足的安全属性之一,针对电子支付协议,建立了支持支付协议可追究性分析的分层有色Petri网模型,并基于此提出一种对支付协议可追究性分析的一般性方法。Kungpisdan等人曾提出一种可追究性逻辑,证明一个典型... 可追究性是电子支付协议必须满足的安全属性之一,针对电子支付协议,建立了支持支付协议可追究性分析的分层有色Petri网模型,并基于此提出一种对支付协议可追究性分析的一般性方法。Kungpisdan等人曾提出一种可追究性逻辑,证明一个典型的移动支付协议KSL协议满足可追究性。但使用上述所提方法对该协议建模并进行可追究性分析,发现了可追究性逻辑未发现的漏洞,分析例证结果表明了所提方法的有效性。 展开更多
关键词 PETRI NETS CPN 可追究性 电子支付协议 电子商务
原文传递
满足多种安全属性的复合型支付协议及其逻辑分析 被引量:5
20
作者 陈莉 袁开银 《计算机应用研究》 CSCD 北大核心 2012年第7期2672-2677,共6页
针对典型电子支付协议存在的安全目标单一,不能满足日益提高的安全需求等问题,提出了一种能够满足认证性、密钥新鲜性、密钥秘密性、非否认性、公平性、可追究性和原子性等多种安全属性的复合型安全支付协议,该协议的认证子协议基于令... 针对典型电子支付协议存在的安全目标单一,不能满足日益提高的安全需求等问题,提出了一种能够满足认证性、密钥新鲜性、密钥秘密性、非否认性、公平性、可追究性和原子性等多种安全属性的复合型安全支付协议,该协议的认证子协议基于令牌概念设计,能够实现高效认证及会话密钥协商。通过引入公钥证书证明协议主体的身份、借助可信方传递付款收据以及采用FTP方式传送电子货币和付款收据等方式提出了支付子协议。使用逻辑分析方法对该协议进行严格逻辑推理验证,结果表明该协议能够满足多种安全属性。 展开更多
关键词 复合型支付协议 密钥新鲜性 密钥秘密性 原子性
在线阅读 下载PDF
上一页 1 2 8 下一页 到第
使用帮助 返回顶部