| 摘要 | 第1-5页 |
| Abstract | 第5-6页 |
| 第一章 引言 | 第6-10页 |
| ·课题研究背景及意义 | 第6-7页 |
| ·国内外研究现状 | 第7-9页 |
| ·电子商务协议及其发展现状 | 第7-8页 |
| ·安全协议形式化分析研究现状 | 第8-9页 |
| ·作者的主要工作及论文的组织 | 第9-10页 |
| 第二章 安全电子交易SET协议研究 | 第10-25页 |
| ·SET协议的技术标准与理论基础 | 第10-14页 |
| ·SET协议的技术标准 | 第10-12页 |
| ·SET协议的理论基础 | 第12-14页 |
| ·SET协议的核心安全技术 | 第14-17页 |
| ·消息摘要(message digest) | 第14页 |
| ·数字签名(digital signature) | 第14-15页 |
| ·数字信封(digital envelope) | 第15-16页 |
| ·双重签名(dual signature) | 第16-17页 |
| ·数字证书(digital certificate) | 第17页 |
| ·SET协议数字证书与CA分级结构 | 第17-20页 |
| ·SET协议证书 | 第17-18页 |
| ·CA分级结构 | 第18-20页 |
| ·SET协议交易流程分析 | 第20-25页 |
| ·SET协议交易流程 | 第20-22页 |
| ·SET协议存在的问题 | 第22-25页 |
| 第三章 形式化分析语言研究 | 第25-33页 |
| ·BAN逻辑 | 第25-27页 |
| ·BAN逻辑及其缺陷 | 第25-26页 |
| ·BAN类逻辑 | 第26-27页 |
| ·Kailar逻辑 | 第27-30页 |
| ·Kailar逻辑的构造 | 第27-28页 |
| ·Kailar逻辑的基本规则 | 第28-29页 |
| ·Kailar逻辑的缺陷 | 第29-30页 |
| ·Non-monotonic Dynamic逻辑 | 第30-33页 |
| ·Non-monotonic Dynamic逻辑的构造 | 第30-31页 |
| ·Non-monotonic Dynamic逻辑逻辑的基本规则 | 第31-32页 |
| ·Non-monotonic Dynamic逻辑的缺陷 | 第32-33页 |
| 第四章 一种改进的SET协议 | 第33-44页 |
| ·安全套接层协议SSL | 第33-35页 |
| ·基于SSL协议的电子商务交易过程 | 第33-34页 |
| ·SSL协议存在问题 | 第34-35页 |
| ·SET协议的扩展及改进方案 | 第35-44页 |
| ·对SET协议交易模型的改进 | 第35-38页 |
| ·对SET协议交易时间过的改进策略 | 第38-40页 |
| ·SET协议对原子性的满足 | 第40-41页 |
| ·对SET协议交易后证据保留与销毁的措施 | 第41页 |
| ·对SET协议交易后消费者有异议或无异议时的解决措施 | 第41-44页 |
| 第五章 对改进的SET协议形式化分析 | 第44-72页 |
| ·一种改进的逻辑分析方法 | 第44-52页 |
| ·基本符号 | 第44-45页 |
| ·新逻辑的主要构造 | 第45-46页 |
| ·新逻辑的推理规则 | 第46-50页 |
| ·电子商务协议逻辑验证步骤 | 第50-52页 |
| ·用改进的逻辑来分析SET协议 | 第52-72页 |
| ·持卡人注册阶段的形式化分析 | 第52-58页 |
| ·商家注册阶段的形式化分析 | 第58-62页 |
| ·购买请求阶段的形式化分析 | 第62-65页 |
| ·支付授权阶段的形式化分析 | 第65-68页 |
| ·支付获得阶段的形式化分析 | 第68-72页 |
| 第六章 总结与展望 | 第72-73页 |
| 致谢 | 第73-74页 |
| 参考文献 | 第74-78页 |
| 附录攻读硕士期间发表和完成的论文 | 第78-79页 |
| 图版 | 第79-80页 |
