基于支付宝交易协议的行为分析

发布时间：2017-05-21 11:17

  本文关键词：基于支付宝交易协议的行为分析，由笔耕文化传播整理发布。

【摘要】：安全性和可靠性是电子商务交易协议安全领域最重要的部分。同时支付宝作为国内第三方支付平台代表之一,其安全性对国内电子商务安全的影响较大。在大量阅读国内外交易协议和形式化验证文献的基础上,本文通过接口分析、数据包采样分析等方式确定支付宝交易的流程,并以此为基础利用有限自动机理论对支付宝交易协议进行形式化验证,在分析验证过程中针对支付宝交易协议存在的买家隐私暴露问题提出了改进方案和框架。(1).本文提出了一种基于有限自动机理论对交易协议进行形式化分析和验证的框架,并以支付宝交易协议的完整流程为例进行安全分析和验证。(2).在深入研究支付宝交易协议的基础上,分析发现该交易协议中存在隐私信息过度暴露的问题,并提出了一种保护买家隐私的网上购物解决方案。该方案即能有效解决买家隐私泄露问题,又能解决电子商务中信息监管的问题。(3).本文还对改进型交易协议的协议安全属性规范进行了分析。
【关键词】：有限自动机 形式化验证 支付协议 第三方支付 买家隐私 安全属性
【学位授予单位】：西北师范大学
【学位级别】：硕士
【学位授予年份】：2015
【分类号】：TP393.08
【目录】：

• 摘要8-9
• Abstract9-10
• 1 绪论10-14
• 1.1 背景10
• 1.2 交易协议的安全性10-11
• 1.3 买家隐私问题11-12
• 1.4 本文主要工作12
• 1.5 论文结构安排12-14
• 2 经典交易协议及分析验证技术14-20
• 2.1 SET协议14-16
• 2.2 SET变种协议16
• 2.3 国内外研究现状16-18
• 2.3.1 协议形式化方法16
• 2.3.2 协议验证分析工具16-18
• 2.4 自动机18-20
• 2.4.1 自动机原理18-20
• 3 国内基于第三方支付的网上交易架构20-24
• 3.1 支付宝交易协议20-24
• 3.1.1 担保交易模式20
• 3.1.2 基本框架及功能特征20-22
• 3.1.3 交易协议形式化描述22-24
• 4 支付宝交易协议分析及验证24-35
• 4.1 基于有限自动机的交易协议验证框架24-25
• 4.2 支付宝交易协议的模型分析25-26
• 4.3 支付宝交易协议的自动机模型26-30
• 4.3.1 支付宝的有限自动机模型26-28
• 4.3.2 货款与货物的自动机模型28-29
• 4.3.3 伴随行为的状态转移描述29-30
• 4.4 基于有限自动机理论的验证30-35
• 4.4.1 验证算法31-33
• 4.4.2 实验结果及分析33-34
• 4.4.3 协议漏洞分析的方法34-35
• 5. 传统交易框架中用户隐私问题35-42
• 5.1 隐私信息保护分析35-36
• 5.2 改进型保护用户隐私的交易协议36-42
• 5.2.1 改进型交易模式的架构36-37
• 5.2.2 改进型交易协议37-42
• 6. 改进型交易协议的分析42-45
• 6.1 改进型交易协议在隐私信息保护方面的分析42
• 6.2 改进型交易协议在应用方面的分析42-43
• 6.3 改进型交易协议在安全方面的分析43-45
• 7 总结与展望45-47
• 7.1 论文工作总结45
• 7.2 未来工作展望45-47
• 参考文献47-50
• 攻读硕士期间发表的论文和申请的专利50-51
• 致谢51

【相似文献】

中国期刊全文数据库 前10条

1 踏莎而行;;支付宝:广发红包[J];电子商务世界;2006年Z1期

2 陈佳;;用支付宝去交房租啦![J];电脑知识与技术(经验技巧);2009年05期

3 梁辰;;支付宝“赎身”记 十年内或将上市[J];通信世界;2011年28期

4 蓝晓熙;;支付宝遭京东过河拆桥 刘强东又在葫芦里卖药[J];IT时代周刊;2011年17期

5 ;告诉你所不知道的支付宝文化[J];电脑爱好者;2011年21期

6 ;支付宝展示实验性移动支付手机刷卡器产品[J];金卡工程;2012年10期

7 张薇;;“万能”的支付宝[J];电脑知识与技术(经验技巧);2012年11期

8 本刊编辑部;;支付宝余额宝业务违规[J];金融科技时代;2013年07期

9 本刊编辑部;;新版支付宝可声波支付[J];金融科技时代;2013年11期

10 linnake;;告诉你支付宝登陆不了怎么办[J];计算机与网络;2013年23期

中国重要会议论文全文数据库 前1条

1 ;支付及金融衍生类电子商务企业的发展创新[A];中国电子商务企业发展报告2013[C];2013年

中国重要报纸全文数据库 前10条

1 郝楠;从支付宝看网上购物信用体系[N];中国企业报;2007年

2 杨国强;先于阿里巴巴支付宝台湾探路[N];第一财经日报;2007年

3 ;支付宝为网店销售带来了什么？[N];电脑商报;2008年

4 戴远程;支付宝用户数突破1亿[N];南方日报;2008年

5 徐晓巍;支付宝承诺购物受骗全额赔偿[N];中国证券报;2008年

6 南方日报记者 戴远程;支付宝牵手联通加速“生活化”[N];南方日报;2009年

7 魏晨;126家境外商户签约支付宝[N];国际商报;2010年

8 本报记者 周婷;支付宝启动手机安全支付[N];中国证券报;2010年

9 正望咨询副总裁 周洪美;支付宝价值几何？[N];北京商报;2011年

10 记者 程婕;捷星航空与支付宝达成战略合作协议[N];中国民航报;2011年

中国硕士学位论文全文数据库 前10条

1 曾U，

本文编号：383498