导读:本文包含了移动支付协议论文开题报告文献综述及选题提纲参考文献，主要关键词:移动支付协议,轻量级,SVO逻辑,SPIN
移动支付协议论文文献综述
杨文霞[1]（2019）在《移动支付协议的形式化分析与安全性研究》一文中研究指出随着第四代移动通信技术的成熟应用以及各种智能设备的兴起,移动支付凭借着它的便利性和快捷性等特点几乎覆盖了人们生活的各个方面。为了保证移动支付顺利、安全的进行,在进行通信以及数据传输时,所采用的移动支付协议的安全性就成为人们关注的重点。目前,形式化分析是协议安全性分析的有效方法之一。因此,在信息安全领域中,对移动支付协议的形式化分析与安全性研究已成为一个重要课题。移动支付协议在移动终端中运行,与传统支付协议不同的是,应当考虑到移动终端在存储空间、电量及计算水平等方面均有限的特点,因此应尽量选取轻量级的采用对称密钥加密的移动支付协议。Tan Soo Fun等人于2008年基于移动运营商MNO提出LMPP协议(Lightweight Mobile Payment Protocol),该协议采用对称密钥加密,减少了相关各方之间的计算量和通信量,并实现了对买方的完全隐私保护,满足了端到端的安全属性和各方要求的所有标准,并在2012年继续对协议进行可追究性分析,提出了4个分析目标,运用KP逻辑进行分析验证,验证结果表明,LMPP协议满足可追究性。Farahnaz Zamanian等人于2016年对LMPP协议进行分析,发现卖方在匿名性和不可链接性存在安全问题,提出了一种解决方案,从而满足了卖方的匿名性和不可链接性。本文选取以移动运营商MNO为价值链的轻量级隐私保护的移动支付协议为研究对象,对协议的两个部分进行分析。注册协议部分,对Diffie-Hellman算法进行改进,并选取一定数量的大素数进行实验,实验结果表明改进后的算法降低了共享密钥生成所需的计算量,运算时间也明显降低,从而使协议更适用于资源有限的移动设备。支付协议部分,采用SVO逻辑方法形式化地分析移动支付协议,通过推理证明,发现协议不满足公平性,对协议作出改进。然后对改进后的协议,再次运用SVO逻辑推理证明,并通过使用Promela语言建模的模型检测工具SPIN进行验证分析。结果均表明,改进后的协议满足公平性,从而保障了协议自身的安全属性。本文的研究工作主要体现为:改进后的密钥交换算法在一定程度上降低了计算量和运算时间,使协议更满足轻量级要求;改进后的支付协议保证了移动支付中不同主体的公平性,从而增强了移动支付的安全性。(本文来源于《太原理工大学》期刊2019-06-01）
陈莞蓉[2]（2019）在《移动支付场景下协议实现的安全性分析与改进技术研究》一文中研究指出随着移动智能终端和移动互联网的飞速发展,移动支付越来越普及,应用第叁方支付作为移动支付的主要方式发展异常迅速。与传统的移动支付方式不同,应用第叁方支付在用户和商家之外引入了第叁方支付平台的实体。第叁方支付平台自主制定应用第叁方支付协议,应用开发者通过集成平台的SDK实现支付协议为用户提供支付服务。目前支付平台和应用市场未对集成支付功能的应用进行支付安全缺陷检测,也未规范和监管应用开发者的行为,这导致集成支付功能的应用存在不同程度的安全问题。在上述分析基础上,本文对应用第叁方支付协议进行安全性分析,并提出论文移动支付场景的协议改进方案。本文对应用第叁方支付协议进行安全性分析,总结常见移动支付场景及流程,分析应用第叁方支付协议的安全因素、典型安全缺陷和安全事件。其中密钥存放位置、订单和订单签名生成位置、应用网络协议和应用通信信息的加密都是协议实现中非常重要的安全因素,本文基于这些安全因素实现了一套Android应用第叁方支付缺陷检测工具。基于应用第叁方支付协议的安全性分析本文提出了移动支付场景的协议改进方案。方案对应用第叁方支付协议的安全因素采取了对应的安全措施,保障了应用第叁方支付协议实现的安全性。方案同时提出了改进的SM9和SM4混合加密的应用通信协议。协议通过SM9密钥封装算法协商SM4会话密钥,通过SM4算法对信息加密,并在SM4算法信加密前增加了信息变换步骤。应用通信协议协议保障了应用的通信安全,增强了应用第叁方支付协议实现的安全性。本文对Android购物应用系统进行功能和性能测试证明系统的正确性、实用性与安全性,并利用Android应用第叁方支付缺陷检测工具对市场应用和Android购物应用系统进行缺陷检测,进一步说明系统的安全性与实用性。(本文来源于《北京邮电大学》期刊2019-03-28）
杨文霞,王峥,李娜,马建芬[3]（2019）在《轻量级移动支付协议LMPP的安全性分析与改进》一文中研究指出无线网络以及各种智能设备的兴起,使得移动支付越来越重要,因此必须采用安全的轻量级移动支付协议(Lightweight Mobile Payment Protocol,LMPP)来保障移动支付的顺利进行。针对资源有限的移动设备及环境受限的支付场景,选取以移动运营商(Mobile Network Operator,MNO)为价值链的轻量级的隐私保护移动支付协议为研究对象。采用SVO逻辑形式化分析协议,证明协议不满足公平性。并对LMPP协议其他安全属性进行分析,针对协议不满足公平性的部分做出改进。同时运用SPIN模型检测工具进行检测,验证结果表明,改进后的协议满足公平性。(本文来源于《计算机工程与应用》期刊2019年16期）
彭扬[4]（2018）在《中国银行与中国银联签署移动支付战略合作协议》一文中研究指出中国银行与中国银联8月15日在京签署移动支付战略合作协议，并宣布启动云闪付主题宣传月活动。按照协议，双方将继续发挥各自领域优势，积极落实中国人民银行移动支付便民示范工程要求，深化移动支付领域全方位合作，促进支付行业健康快速发展，为广大客户提供智能、开放、(本文来源于《中国证券报》期刊2018-08-16）
李茜[5]（2018）在《移动支付协议的形式化分析与研究》一文中研究指出随着移动设备的普及和移动互联网技术的提升,移动电子商务以其便利性、快捷性等优势覆盖了用户生活的各个领域。移动支付,作为移动商务的重要应用之一,也是移动金融的主要工具,有必要对其在相关领域做深入研究。同时,为保证移动支付安全、顺利的进行,给人们的生活提供更大的便利,在进行通信以及传输数据时,必须采用安全的移动支付协议。因此,对移动支付协议的形式化分析和研究目前已经成为信息安全领域中的一个重要课题。移动支付协议执行在移动环境中,应当顾及到由于存储空间或是电量限制,移动支付极易中途阻断,计算水平低等特点,因此尽量选取采用对称加密的轻量级移动支付协议。2004年,Kungpisdan S等人建立和无线网络相配套、面向账户的KSL协议,引入了对称加密算法,无需对主体公钥加解密计算,减轻移动终端的计算负荷,提高协议执行效率。承接Kungpisdan S等人的设计思想,针对不同的通信场景,Jesús Téllez Isaac和Sherali Zeadally于2012年提出了以支付网关为中心的PCMS协议,该协议用临时身份代替客户的真实身份,保护客户隐私。在2014年对PCMS协议进一步的分析中表明,该协议需要更少的计算量和存储空间,可以部署在计算资源有限的移动设备上,使支付交易在无线网络上有效地执行。本文选取适用于不同通信场景、具有代表性的移动支付协议进行分析,基于定理证明的串空间理论对上述两协议分别建模,对移动支付协议进行形式化分析。通过图的方式直观描述协议的执行过程,总结协议潜在的安全问题。运用认证方法来着重分析协议的公平性,对协议内容做出改进。对改进后的协议,用模型检测器SPIN的Promela语言编程建模,验证分析。使用形式化分析方法的定理证明正向分析协议的安全属性,用模型检测工具SPIN模型检测器逆向检测协议是否存在漏洞,最后对有安全隐患的协议做出优化。根据结果,协议(改进后)符合公平性,确保了协议自身的安全属性。本文的研究工作对于移动支付协议的设计以及形式化分析技术有一定的理论和实用意义,同时改进的协议能够确保移动支付中不同主体各自的公平性,对增强移动支付的安全性有一定的价值。(本文来源于《太原理工大学》期刊2018-06-01）
李茜,王峥,马建芬,李娜[6]（2018）在《轻量级移动支付协议公平性分析》一文中研究指出为保证移动支付安全、顺利进行,必须采用安全的移动支付协议。针对计算和存储能力有限的移动设备和不可靠的移动环境,选择采用对称加密的轻量级移动支付协议PCMS,使用串空间理论对其建模,进行形式化分析。通过图的方式直观描述协议的执行过程,分析协议安全目标,基于串空间理论的认证测试方法,对该协议的公平性形式化分析。针对PCMS协议不满足公平性,提出增加时间戳来解决,同时增加一个退款子协议完成后续退款操作。结合模型检测工具验证分析,结果表明,改进后的协议满足公平性。(本文来源于《计算机工程与应用》期刊2018年19期）
利莉,胡治宇[7]（2018）在《基于公钥密码体制下移动支付安全协议探讨》一文中研究指出本文主要论述了公钥密码技术以及移动支付大体构架,在简明的阐述公钥密码的产生以及其机理和特征后再对现行的移动支付相关知识进行解释,提出其中和二者有所关联的安全移动支付协议,最后结合公钥密码技术的特点说明其运用在移动支付中的可行性以及好处。(本文来源于《数码世界》期刊2018年02期）
利莉,胡治宇[8]（2018）在《基于SET协议下的移动支付系统的设计与实现》一文中研究指出本文主要对SET协议概念进行阐述,接着分析了原有SET协议下移动支付的流程,对其缺陷进行了阐述,最后引入信用制度包括由此发展的预付款机制,再结合仲裁和信用评估机构对原有的流程进行优化,从而保护了各方的利益,使得基于SET协议下的移动支付系统更加科学。(本文来源于《数码世界》期刊2018年02期）
利莉,胡治宇[9]（2017）在《基于ECC背景下的安全移动支付协议分析》一文中研究指出本文首先介绍了移动支付发展的现状以及出现的问题,越来越复杂的支付环境势必就要求了安全的支付体系。就移动支付的安全性而言,经过RSA系统衍生而来的SET协议逐渐不能满足安全性要求,本文提出的椭圆曲线算法ECC很好地解决了认证过程、加密过程以及保证了用户信息的安全。现有ECC协议,完全能够在硬件环境劣势情况下,独立高效地完成整个移动支付过程。(本文来源于《计算机产品与流通》期刊2017年11期）
杨艺[10]（2017）在《我市100家菜市场将支持手机付款》一文中研究指出本报讯 （ 杨艺）今后去菜市场买菜，不仅可以用支付宝付款，还能享受“付款返现、一分钱买菜”等优惠。9月6日，市商务委与支付宝签署“移动支付智慧市场”战略合作协议，双方将在老百姓日常生活最常见的菜市场、商圈、商贸企业等地，合力普及移动支付。未来，重庆的(本文来源于《重庆日报》期刊2017-09-07）
移动支付协议论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
随着移动智能终端和移动互联网的飞速发展,移动支付越来越普及,应用第叁方支付作为移动支付的主要方式发展异常迅速。与传统的移动支付方式不同,应用第叁方支付在用户和商家之外引入了第叁方支付平台的实体。第叁方支付平台自主制定应用第叁方支付协议,应用开发者通过集成平台的SDK实现支付协议为用户提供支付服务。目前支付平台和应用市场未对集成支付功能的应用进行支付安全缺陷检测,也未规范和监管应用开发者的行为,这导致集成支付功能的应用存在不同程度的安全问题。在上述分析基础上,本文对应用第叁方支付协议进行安全性分析,并提出论文移动支付场景的协议改进方案。本文对应用第叁方支付协议进行安全性分析,总结常见移动支付场景及流程,分析应用第叁方支付协议的安全因素、典型安全缺陷和安全事件。其中密钥存放位置、订单和订单签名生成位置、应用网络协议和应用通信信息的加密都是协议实现中非常重要的安全因素,本文基于这些安全因素实现了一套Android应用第叁方支付缺陷检测工具。基于应用第叁方支付协议的安全性分析本文提出了移动支付场景的协议改进方案。方案对应用第叁方支付协议的安全因素采取了对应的安全措施,保障了应用第叁方支付协议实现的安全性。方案同时提出了改进的SM9和SM4混合加密的应用通信协议。协议通过SM9密钥封装算法协商SM4会话密钥,通过SM4算法对信息加密,并在SM4算法信加密前增加了信息变换步骤。应用通信协议协议保障了应用的通信安全,增强了应用第叁方支付协议实现的安全性。本文对Android购物应用系统进行功能和性能测试证明系统的正确性、实用性与安全性,并利用Android应用第叁方支付缺陷检测工具对市场应用和Android购物应用系统进行缺陷检测,进一步说明系统的安全性与实用性。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
移动支付协议论文参考文献
[1].杨文霞.移动支付协议的形式化分析与安全性研究[D].太原理工大学.2019
[2].陈莞蓉.移动支付场景下协议实现的安全性分析与改进技术研究[D].北京邮电大学.2019
[3].杨文霞,王峥,李娜,马建芬.轻量级移动支付协议LMPP的安全性分析与改进[J].计算机工程与应用.2019
[4].彭扬.中国银行与中国银联签署移动支付战略合作协议[N].中国证券报.2018
[5].李茜.移动支付协议的形式化分析与研究[D].太原理工大学.2018
[6].李茜,王峥,马建芬,李娜.轻量级移动支付协议公平性分析[J].计算机工程与应用.2018
[7].利莉,胡治宇.基于公钥密码体制下移动支付安全协议探讨[J].数码世界.2018
[8].利莉,胡治宇.基于SET协议下的移动支付系统的设计与实现[J].数码世界.2018
[9].利莉,胡治宇.基于ECC背景下的安全移动支付协议分析[J].计算机产品与流通.2017
[10].杨艺.我市100家菜市场将支持手机付款[N].重庆日报.2017