安全微支付系统的研究与设计
| 第1章 微支付系统综述 | 第1-30页 |
| ·引言 | 第9-11页 |
| ·主流微支付系统分析及研究现状 | 第11-30页 |
| ·基于公钥机制的微支付系统 | 第11-13页 |
| ·基于宏支付的微支付系统 | 第13-16页 |
| ·基于共享密钥机制的微支付系统 | 第16-19页 |
| ·基于散列链的微支付系统 | 第19-26页 |
| ·基于散列冲突的微支付系统 | 第26-27页 |
| ·基于概率机制的微支付系统 | 第27-30页 |
| 第2章 安全协议理论与方法综述 | 第30-47页 |
| ·安全协议理论与方法概述 | 第30-37页 |
| ·安全协议系统模型 | 第30-31页 |
| ·安全协议的安全性质 | 第31-32页 |
| ·安全协议设计准则 | 第32页 |
| ·安全协议的形式化分析 | 第32-37页 |
| ·安全协议的形式化分析概述 | 第33页 |
| ·安全协议的形式化分析的历史与现状 | 第33-35页 |
| ·形式化分析面临的挑战 | 第35-37页 |
| ·BAN逻辑 | 第37-40页 |
| ·BAN逻辑的基本框架 | 第37-39页 |
| ·BAN逻辑分析协议流程 | 第39页 |
| ·BAN逻辑的缺陷 | 第39-40页 |
| ·Kailar逻辑 | 第40-44页 |
| ·Kailar逻辑的基本框架 | 第40-43页 |
| ·Kailar逻辑分析协议流程 | 第43页 |
| ·Kailar逻辑的缺陷 | 第43-44页 |
| ·fail-stop协议 | 第44-47页 |
| ·fail-stop协议及其分析 | 第44-46页 |
| ·使用因果一致性概念的形式化 | 第46-47页 |
| 第3章 新微支付系统的设计 | 第47-91页 |
| ·当前移动通信应用环境及技术趋势 | 第47-56页 |
| ·移动通信网络的不安全因素及安全业务 | 第47-52页 |
| ·不安全因素分析 | 第47-50页 |
| ·安全业务 | 第50-52页 |
| ·公钥密码技术在移动通信网络中的应用趋势 | 第52-56页 |
| ·移动通信中公钥密码技术的必要性 | 第52-53页 |
| ·移动通信中公钥密码技术的应用前景 | 第53-56页 |
| ·本微支付系统设计基础与目标 | 第56-57页 |
| ·相关研究中的问题 | 第57-63页 |
| ·本系统运行环境及支付模型 | 第63-67页 |
| ·对移动微支付系统承载网络环境的了解 | 第63-65页 |
| ·本微支付系统的支付模型 | 第65-67页 |
| ·安全微支付系统的设计 | 第67-77页 |
| ·系统创新优势设计的论述 | 第67-71页 |
| ·创新优势设计的针对点 | 第67-68页 |
| ·创新优势设计 | 第68-71页 |
| ·系统协议设计 | 第71-77页 |
| ·协议模型 | 第71-73页 |
| ·协议详述 | 第73-77页 |
| ·协议的非形式化分析 | 第77-81页 |
| ·协议的形式化验证 | 第81-91页 |
| ·fail-stop性及秘密性假设的验证 | 第81-82页 |
| ·BAN逻辑验证 | 第82-87页 |
| ·Kailar逻辑验证 | 第87-91页 |
| 结论 | 第91-92页 |
| 致谢 | 第92-93页 |
| 参考文献 | 第93-100页 |
| 攻读硕士学位期间发表的论文 | 第100页 |
