基于eSIM卡上送交通卡交易数据的稳定性和安全性的应用研究

1

作者 周迅 李敏 《江苏通信》 2025年第1期38-42,64,共6页

本文探讨了基于SIM卡的NFC贴卡公交支付技术,该技术对提升公交出行的便捷性具有重要意义。本文首先简要介绍了当前公交NFC刷卡支付的常见方式,并指出了其中存在的两个主要问题:公交移动网络不稳定和公交交易数据上传安全性的不足。随后... 本文探讨了基于SIM卡的NFC贴卡公交支付技术,该技术对提升公交出行的便捷性具有重要意义。本文首先简要介绍了当前公交NFC刷卡支付的常见方式,并指出了其中存在的两个主要问题:公交移动网络不稳定和公交交易数据上传安全性的不足。随后,本文提出了一种基于eSIM卡并通过BIP协议上送交通卡交易数据的安全方案。该方案利用BIP协议建立了更高速、更安全的连接通道,从而有效提升了现有NFC贴卡公交支付的稳定性和安全性。 展开更多

关键词 eSIM卡 安全公交支付 BIP协议 空中写号 网络优选

在线阅读 下载PDF 职称材料

一种比特币支付协议的形式化建模验证方法

2

作者 王炯涵 黄文超 +1 位作者 汪万森 熊焰 《信息安全研究》 CSCD 北大核心 2024年第4期311-317,共7页

作为主流的数字加密货币,比特币的安全性受到广泛关注,并且围绕其展开大量的研究工作.然而目前针对比特币支付过程的分析还比较欠缺,缺乏相关的安全标准和精细的建模分析,难以确保相关协议的安全.针对这一问题,基于比特币社区规范与比... 作为主流的数字加密货币,比特币的安全性受到广泛关注,并且围绕其展开大量的研究工作.然而目前针对比特币支付过程的分析还比较欠缺,缺乏相关的安全标准和精细的建模分析,难以确保相关协议的安全.针对这一问题,基于比特币社区规范与比特币的数字货币功能属性,为比特币支付协议建立了形式化的符号模型与对应的安全属性,并使用自动验证工具Tamarin对相关模型及属性进行了形式化验证,完成了对比特币支付协议的验证工作,并且发现一种未被讨论过的比特币支付协议中的安全威胁,对该问题可能产生的影响进行了分析。 展开更多

关键词 比特币 形式化验证 网络协议安全 支付过程 符号模型

在线阅读 下载PDF 职称材料

密码学在网络支付安全中的应用及其挑战 被引量：1

3

作者 许海燕 《山西电子技术》 2024年第6期69-70,97,共3页

随着数字经济的快速发展,网络支付已成为日常生活中不可或缺的一部分。然而,随之而来的安全问题也日益凸显,尤其是在数据保护和交易安全方面的挑战。密码学作为网络支付安全的核心技术之一,其重要性不言而喻。通过概述网络支付系统的基... 随着数字经济的快速发展,网络支付已成为日常生活中不可或缺的一部分。然而,随之而来的安全问题也日益凸显,尤其是在数据保护和交易安全方面的挑战。密码学作为网络支付安全的核心技术之一,其重要性不言而喻。通过概述网络支付系统的基本构成以及所需满足的安全需求,分析密码学在数据传输中的加密技术、身份认证与数字签名网络支付中等核心领域的应用以及安全支付协议的实现,提出网络支付面临的主要安全威胁、密码技术的局限性,以及对抗量子计算的挑战,以期为应对网络支付安全中的挑战提供参考。 展开更多

关键词 网络支付安全 密码学 加密技术 身份认证 数字签名 安全支付协议

在线阅读 下载PDF 职称材料

基于FPGA与指纹识别的支付系统设计

4

作者 吴建新 夏银桥 《长江信息通信》 2024年第3期138-140,共3页

随着科学技术的飞速发展,大型支付系统如支付宝、微信等广泛地融入到人们的生活中,但是它并不适用于小型门店消费与充值等应用场景。为了能够实现具有独立记录的小型支付系统,文章提出了一个基于FPGA的指纹支付系统。该系统采用键盘、... 随着科学技术的飞速发展,大型支付系统如支付宝、微信等广泛地融入到人们的生活中,但是它并不适用于小型门店消费与充值等应用场景。为了能够实现具有独立记录的小型支付系统,文章提出了一个基于FPGA的指纹支付系统。该系统采用键盘、显示器以及传感器等外设,当键盘获取到输入信息后,它将信号送到FPGA中,通过VGA协议显示到显示器。指纹模块通过UART通信协议完成数据传输与控制,获取FPGA发来的控制信息后进入录入、验证等状态。系统联调表明,它具有开户、查询、充值和消费等功能,不依赖账户的识别模式,依托于指纹搜索结果,适用于小规模应用场景。 展开更多

关键词 FPGA 指纹识别 支付系统 通信协议

在线阅读 下载PDF 职称材料

移动商务支付网关的设计与实现 被引量：4

5

作者 张晓莹 李维 +1 位作者 邹俊伟 范春晓 《电信科学》 北大核心 2003年第11期27-30,共4页

本文依据自主设计的适合于移动商务环境的简单电子支付协议,提出了一种在目前网络条件下的移动商务解决方案,设计并实现了一个移动商务支付网关,以解决移动商务交易过程中的电子支付问题。

关键词 移动商务 电子支付协议 电子商务 网关 移动因特网

在线阅读 下载PDF 职称材料

基于可验证秘密分享的移动代理安全支付协议 被引量：5

6

作者 柳毅 许文丽 王育民 《华南理工大学学报（自然科学版）》 EI CAS CSCD 北大核心 2005年第6期14-17,共4页

移动代理的安全问题是移动代理技术面临的一个很大障碍.为保护移动代理支付时的信息安全,采用Pedersen可验证秘密分享方案,设计了一个基于移动代理技术的安全支付协议.文中详细分析和讨论了协议的性能,包括安全性、不可否认性以及协议... 移动代理的安全问题是移动代理技术面临的一个很大障碍.为保护移动代理支付时的信息安全,采用Pedersen可验证秘密分享方案,设计了一个基于移动代理技术的安全支付协议.文中详细分析和讨论了协议的性能,包括安全性、不可否认性以及协议的运行效率.结果表明,和已有的方案相比,该协议在保证具有合适运行效率的同时,弱化了已有方案的安全执行条件,增加了系统的安全性和灵活性,因此具有更好的应用价值. 展开更多

关键词 可验证秘密分享 移动代理 支付协议 不可否认性 运行效率

在线阅读 下载PDF 职称材料

基于分层时间有色Petri网的支付协议公平性分析 被引量：7

7

作者 刘文琦 顾宏 《电子与信息学报》 EI CSCD 北大核心 2009年第6期1445-1450,共6页

电子支付协议是一种重要的电子商务协议,公平性是其重要的安全属性之一。该文提出一种基于分层时间有色Petri网(HTCPN)的电子支付协议形式化分析方法。该方法在进行公平性分析时,充分考虑了两个环境因素:主体是否诚实和通信信道是否可靠... 电子支付协议是一种重要的电子商务协议,公平性是其重要的安全属性之一。该文提出一种基于分层时间有色Petri网(HTCPN)的电子支付协议形式化分析方法。该方法在进行公平性分析时,充分考虑了两个环境因素:主体是否诚实和通信信道是否可靠,与其他形式化方法相比,可以更有效地分析协议公平性。使用该方法对典型支付协议IBS协议进行分析,分析结果验证了所提模型和方法的有效性。 展开更多

关键词 有色Petri网(CPN) 支付协议 公平性 可追究性

在线阅读 下载PDF 职称材料

移动环境公平支付协议的设计与分析研究 被引量：2

8

作者 刘霞 古天龙 +1 位作者 董荣胜 郭云川 《通信学报》 EI CSCD 北大核心 2007年第4期32-37,共6页

结合固定网络中的支付协议并充分考虑移动装置和无线网络的特点,提出了一种移动环境公平支付协议。利用模型检验工具对协议进行分析并将该协议与其他支付协议进行比较,分析和比较结果表明,该协议具有公平、保密、高效等特点,适用于移动... 结合固定网络中的支付协议并充分考虑移动装置和无线网络的特点,提出了一种移动环境公平支付协议。利用模型检验工具对协议进行分析并将该协议与其他支付协议进行比较,分析和比较结果表明,该协议具有公平、保密、高效等特点,适用于移动环境。 展开更多

关键词 公平支付协议 模型检验 公平性 移动环境

在线阅读 下载PDF 职称材料

通用可组合的公平电子支付协议 被引量：2

9

作者 邓淼磊 王玉磊 周利华 《电子与信息学报》 EI CSCD 北大核心 2009年第5期1063-1066,共4页

公平性是电子支付协议的一个基本属性。该文基于通用可组合模型,定义了公平电子支付理想函数。在可转化签名理想函数、注册理想函数和安全会话理想函数辅助的混合模型下,构造了一个实现公平电子支付理想函数的公平电子支付协议。新的协... 公平性是电子支付协议的一个基本属性。该文基于通用可组合模型,定义了公平电子支付理想函数。在可转化签名理想函数、注册理想函数和安全会话理想函数辅助的混合模型下,构造了一个实现公平电子支付理想函数的公平电子支付协议。新的协议结构简单,通信量较低,并且在任意的和未知的多方环境中运行时仍然是安全的。 展开更多

关键词 电子支付协议 公平性 通用可组合

在线阅读 下载PDF 职称材料

电子现金支付协议的研究 被引量：13

10

作者 谭运猛 杨宗凯 吴世忠 《通信学报》 EI CSCD 北大核心 2002年第11期8-13,共6页

本文提出了一个高效的电子现金支付协议,与目前被广泛采用的Brands的电子现金协议相比较,其效率更高,而且更加适合采用预处理的方法。本文详细描述了该协议,并对其安全性和效率进行了分析和证明。

关键词 电子现金 电子支付 电子商务 Brands协议

在线阅读 下载PDF 职称材料

WAP环境下移动支付协议公平性分析 被引量：2

11

作者 林宏刚 胡勇 《四川大学学报（工程科学版）》 EI CAS CSCD 北大核心 2013年第3期91-97,共7页

为保证买卖双方公平交换,基于主动测试定理和发送边存在定理分析了移动支付协议的公平性,指出该协议存在安全缺陷。由此提出了一种改进协议,通过增加时间戳和改变部分消息发送的主体弥补协议公平性缺陷,并用扩展串空间模型对其公平性进... 为保证买卖双方公平交换,基于主动测试定理和发送边存在定理分析了移动支付协议的公平性,指出该协议存在安全缺陷。由此提出了一种改进协议,通过增加时间戳和改变部分消息发送的主体弥补协议公平性缺陷,并用扩展串空间模型对其公平性进行了形式化分析,证明其在没有影响运行效率的前提下能够满足公平性要求。研究结果验证了所提的方法可以有效地分析协议公平性。 展开更多

关键词 WAP 移动支付协议 公平性 扩展串空间模型

在线阅读 下载PDF 职称材料

电子支付协议的博弈逻辑模型与形式化分析 被引量：1

12

作者 文静华 张梅 张焕国 《微电子学与计算机》 CSCD 北大核心 2007年第9期113-115,共3页

提出用一种新的基于博弈逻辑ATL(Alternating-time Temporal Logic)的电子支付协议建模与分析方法。新方法克服了传统时序逻辑把协议看成封闭系统进行分析的缺点,可以成功地对电子商务中的对抗与合作行为进行描述。利用新方法对Bolignan... 提出用一种新的基于博弈逻辑ATL(Alternating-time Temporal Logic)的电子支付协议建模与分析方法。新方法克服了传统时序逻辑把协议看成封闭系统进行分析的缺点,可以成功地对电子商务中的对抗与合作行为进行描述。利用新方法对Bolignano协议进行了严格的形式化分析,发现该协议不能满足公平性要求。 展开更多

关键词 电子支付协议 公平性 形式化分析 ATL

在线阅读 下载PDF 职称材料

基于椭圆曲线的多银行电子现金支付协议的研究 被引量：2

13

作者 刘文远 赵国玉 +1 位作者 邓成玉 方淑芬 《北京电子科技学院学报》 2003年第2期19-23,共5页

椭圆曲线密码体制以其特有的优越性被广泛用于进行数据加密、数字签名,同样也可用来构建盲签名协议和电子 现金协议。本文设计出了多银行电子现金支付协议。上述协议都是基于椭圆曲线离散对数表示问题的,其安全性是基于椭 圆曲线离散对... 椭圆曲线密码体制以其特有的优越性被广泛用于进行数据加密、数字签名,同样也可用来构建盲签名协议和电子 现金协议。本文设计出了多银行电子现金支付协议。上述协议都是基于椭圆曲线离散对数表示问题的,其安全性是基于椭 圆曲线离散对数的安全性。 展开更多

关键词 椭圆曲线 多银行 离线电子现金

在线阅读 下载PDF 职称材料

基于PayWord的小额电子支付协议 被引量：14

14

作者 姬东耀 王育民 《电子学报》 EI CAS CSCD 北大核心 2002年第2期301-303,共3页

本文基于R Rivest和A Shamir提出的小额电子支付协议PayWord ,为因特网上低价位信息商品的交易设计了一种小额电子支付协议NMP .与现有的小额电子支付协议相比 ,NMP协议可以支持更多种类信息商品的交易 ,而且具有更好的安全性、公平性... 本文基于R Rivest和A Shamir提出的小额电子支付协议PayWord ,为因特网上低价位信息商品的交易设计了一种小额电子支付协议NMP .与现有的小额电子支付协议相比 ,NMP协议可以支持更多种类信息商品的交易 ,而且具有更好的安全性、公平性和不可否认性 .NMP协议仅仅增加了尽可能少的、必须的密码运算和消息 。 展开更多

关键词 小额电子支付协议 PAYWORD 通信协议

在线阅读 下载PDF 职称材料

SET协议的电子商务支付安全加密方法 被引量：1

15

作者 李静 郭云峰 《现代电子技术》 北大核心 2020年第11期83-86,共4页

为了更好地保障电子商务支付的安全性,提出基于SET协议的电子商务支付安全加密方法。结合密钥加密技术设计了电子支付安全协议,进一步结合二层神经网络原理对电子商务支付安全加密算法进行改进和优化,进而保证电子商务支付的安全性,实... 为了更好地保障电子商务支付的安全性,提出基于SET协议的电子商务支付安全加密方法。结合密钥加密技术设计了电子支付安全协议,进一步结合二层神经网络原理对电子商务支付安全加密算法进行改进和优化,进而保证电子商务支付的安全性,实现基于SET协议的电子商务支付安全加密方法的合理设计。最后通过实验证实,基于SET协议的电子商务支付安全加密方法具有更高的安全性和有效性,充分满足研究要求。 展开更多

关键词 电子商务支付 加密算法优化 SET协议 信息安全 安全密钥 支付协议

在线阅读 下载PDF 职称材料

基于SET协议的安全电子商务支付改进模型 被引量：2

16

作者 韩景灵 李艳 《现代电子技术》 北大核心 2019年第6期65-68,共4页

基于交互式多生物特征识别技术的支付模型根据人体器官完成身份识别,构建简便的在线支付预认证分层模型,但存在模型支付安全性差的弊端。故文中构建基于SET协议的安全电子商务支付改进模型,基于发卡银行、收单行、支付网关、商家、持卡... 基于交互式多生物特征识别技术的支付模型根据人体器官完成身份识别,构建简便的在线支付预认证分层模型,但存在模型支付安全性差的弊端。故文中构建基于SET协议的安全电子商务支付改进模型,基于发卡银行、收单行、支付网关、商家、持卡人以及数字认证中心构成的SET理,连接两个发送给不同接收者的报文实现双重数字签名,保障持卡人的支付安全;模型支付网关和CA实现了安全电子商务支付的改进。实验结果说明,所构建模型能提升电子商务的安全支付能力,安全支付用时在1.27～1.29 s间变化,在保证电子商务支付安全的前提下,能有效提升用户的支付速率,整体更具优势。 展开更多

关键词 SET协议 支付安全 电子商务 改进模型 双重数字签名 CA

在线阅读 下载PDF 职称材料

一种基于iKP的公平电子商务协议 被引量：2

17

作者 孙永兴 王新梅 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2000年第2期176-179,共4页

对iKP协议进行了改进 ,在iKP协议中有机融入了信息商品的传输 ,使得iKP协议能够用于信息商品与支付信息的公平交换 ,避免了对认证结果的第三方转发 .所提出协议在相同的安全性条件下 ,其执行效率同iKP协议基本一样 .

关键词 iKP协议 电子商务 INTERNET

在线阅读 下载PDF 职称材料

NetBill协议的形式化描述及分析 被引量：2

18

作者 冯涛 余冬梅 边培泉 《兰州理工大学学报》 CAS 北大核心 2004年第4期102-105,共4页

通过对安全协议验证的形式化需求分析,论证了形式化描述和分析是描述电子商务协议并验证它们属性的有效方法.介绍了一个扩展的BAN逻辑,基于这个逻辑对一种电子交易协议NetBill协议进行形式化描述,并在有入侵的情况下对该协议所期望的属... 通过对安全协议验证的形式化需求分析,论证了形式化描述和分析是描述电子商务协议并验证它们属性的有效方法.介绍了一个扩展的BAN逻辑,基于这个逻辑对一种电子交易协议NetBill协议进行形式化描述,并在有入侵的情况下对该协议所期望的属性(安全、原子、隐私)进行了正确的分析,证明了该协议在有入侵者的情况下能够满足安全、原子和隐私等要求. 展开更多

关键词 NetBill安全协议 电子商务 电子支付 属性

在线阅读 下载PDF 职称材料

基于SSL协议的电子商务支付系统的实现及安全性研究 被引量：7

19

作者 吕玉珠 《煤炭技术》 CAS 北大核心 2011年第9期119-121,共3页

为了实现电子商务网上支付安全技术和电子商务参与方之间的充分结合及有效衔接,最大限度地确保电子商务支付便捷、有序、安全地进行,需要相应的网上支付安全协议对各方行为以及相关技术的使用加以规范,SSL协议就是当前较为常用的电子商... 为了实现电子商务网上支付安全技术和电子商务参与方之间的充分结合及有效衔接,最大限度地确保电子商务支付便捷、有序、安全地进行,需要相应的网上支付安全协议对各方行为以及相关技术的使用加以规范,SSL协议就是当前较为常用的电子商务支付安全协议的一种。文章主要探讨基于SSL协议的电子商务支付系统的实现及安全性问题。 展开更多

关键词 SSL协议 电子商务支付 安全性

在线阅读 下载PDF 职称材料

基于对称密钥的移动支付协议 被引量：2

20

作者 张娟 许春香 《信息技术》 2006年第2期47-50,共4页

提出一个基于移动协议的无线网络安全系统,协议采用对称密钥,和当前的移动协议相比较,大大减少了运算量。此协议能提供和SET,SSL相同的安全性。而且,在交易的过程中,信用卡的信息不需要发送,增强了系统的安全性。

关键词 移动支付 对称密钥 协议

在线阅读 下载PDF 职称材料