原创力文档- 1、本文档共70页，可阅读全部内容。
- 2、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
- 3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
查看更多
移动支付协议的计及其形式化分析研究
目录
目 录
摘 要 I
Abstract II
第一章 绪论 1
1.1 研究的背景及意义 1
1.2 国内外研究现状 2
1.2.1 移动支付及其发展现状 2
1.2.2 形式化方法研究现状 4
1.3 论文完成的主要工作及创新点 5
1.4 论文的组织结构 6
第二章 移动支付协议及其关键技术 8
2.1 移动支付 8
2.1.1 移动支付的优势 8
2.1.2 移动支付的分类 8
2.1.3 移动支付的组成 9
2.2 移动支付协议 9
2.2.1 移动微支付协议 10
2.2.2 移动宏支付协议 11
2.3 移动支付安全技术 14
2.3.1 加密技术 15
2.3.2 具有消息恢复的数字签名方案 17
2.4 移动通信场景模型 19
2.5 本章小结 23
第三章 基于逻辑的形式化分析方法及其扩展 24
3.1 BAN 逻辑 24
3.2 SVO 逻辑及其扩展 25
3.2.1 SVO 逻辑 25
3.2.2 SVO 逻辑的扩展 29
3.3 Kailar 逻辑及其扩展 29
3.3.1 Kailar 逻辑 29
3.3.2 Kailar 逻辑的缺陷及改进 31
3.3.3 Kailar 逻辑的扩展 32
3.4 本章小结 33
第四章 客户中心通信场景下的移动支付协议的设计及其形式化分析 34
4.1 KSL 移动支付协议存在的不足 34
4.2 客户中心通信场景下的移动支付协议设计 35
4.2.1 客户中心通信场景 35
4.2.2 参与实体和初步假设 36
4.2.3 协议描述 36
4.2.4 协议流程 38
4.3 客户中心场景下移动支付协议的形式化分析 40
I
目录
4.3.1 不可否认性分析 40
4.3.2 可追究性分析 43
4.3.3 公平性分析 46
4.4 本章小结 48
第五章 商家中心通信场景下的移动支付协议的设计及其形式化分析 50
5.1 Mobile 3-D Secure 支付协议 50
5.2 商家中心通信场景下移动支付协议的设计 51
5.2.1 商家中心通信场景 51
5.2.2 参与实体和初步假设 52
5.2.2 协议描述 52
5.2.3 协议流程 53
5.3 商家中心通信场景下移动支付协议的形式化分析 54
5.3.1 不可否认性分析 54
5.3.2 可追究性分析 57
5.3.3 公平性分析 60
5.4 本章小结 62
第六章 总结与展望 63
6.1 工作总结 63
6.2 研究展望 64
致 谢 65
参考文献 66
附录 68
II
文档评论（0）