基于串空间理论的电子商务协议安全性研究

摘要	第1-5页
Abstract	第5-9页
1 绪论	第9-16页
·研究背景	第9-10页
·电子商务协议的发展及分类	第10-14页
·安全协议的分类	第10-11页
·电子商务协议的分类	第11-12页
·电子商务协议的安全属性	第12-14页
·电子商务协议形式化分析的发展现状	第14-15页
·论文主要内容和结构安排	第15-16页
2 串空间模型理论	第16-24页
·串空间理论的基本概念	第16-18页
·理想和诚实理论	第18-20页
·认证测试理论	第20-21页
·串空间理论的扩展	第21-24页
3 电子商务协议的串空间模型建立及安全性分析	第24-44页
·电子商务协议串空间描述及安全性分析的一般方法	第24-26页
·电子商务协议实例分析	第26-44页
·IBS协议串空间模型设计	第26-29页
·IBS协议的安全性分析	第29-39页
·改进IBS协议的公平性分析	第39-44页
4 一种新的基于同时签名的电子支付协议	第44-59页
·同时生效签名算法	第44-46页
·一种新的基于同时生效签名的电子支付协议	第46-50页
·新协议的串空间模型及安全性分析	第50-59页
·新协议的串空间模型	第50-52页
·新协议的安全性分析	第52-59页
5 移动支付系统的实现	第59-67页
·系统整体框架	第59-60页
·J2ME技术	第59页
·系统框架	第59-60页
·客户端的实现	第60-67页
·软硬件开发环境	第60-61页
·客户端实现	第61-64页
·客户端运行效果	第64-67页
结论	第67-69页
参考文献	第69-71页
攻读硕士学位期间发表学术论文情况	第71-72页
致谢	第72-73页