基于四方的安全电子商务支付协议研究

摘要	第1-5页
ABSTRACT	第5-8页
1 绪论	第8-16页
·课题的研究背景及目的	第8-9页
·国内外研究概况	第9-14页
·论文的研究内容	第14-15页
·论文的组织结构	第15-16页
2 安全电子交易SET 协议分析	第16-25页
·安全电子交易SET 协议	第16-18页
·SET 协议形式化分析描述	第18-20页
·SET 协议安全性分析及改进	第20-24页
·本章小结	第24-25页
3 基于四方的安全电子商务支付协议设计	第25-40页
·设计目标	第25-26页
·协议的设计及形式化描述	第26-35页
·协议的安全性分析及比较	第35-39页
·本章小结	第39-40页
4 协议模型检测仿真实验验证	第40-55页
·模型检测技术分析	第40-41页
·协议SMV 建模	第41-49页
·协议的CTL 原子性属性设计	第49-50页
·协议的原子性仿真实验验证	第50-54页
·本章小结	第54-55页
5 基于四方的安全电子商务支付系统应用设计	第55-67页
·系统结构设计	第55-56页
·数据结构设计描述	第56-60页
·系统软件模块设计	第60-66页
·本章小结	第66-67页
6 总结与展望	第67-69页
·研究工作总结	第67-68页
·下一步研究工作展望	第68-69页
致谢	第69-70页
参考文献	第70-73页
附录Ⅰ 攻读硕士学位期间发表论文目录	第73-74页
附录Ⅱ 攻读硕士期间参与的科研工作	第74页