电子商务安全协议的设计与形式化分析
| 摘要 | 第6-8页 |
| Abstract | 第8-9页 |
| 第1章 绪论 | 第14-26页 |
| 1.1 研究背景及意义 | 第14-17页 |
| 1.2 国内外研究现状 | 第17-24页 |
| 1.2.1 形式化方法 | 第17-22页 |
| 1.2.2 其他方法 | 第22-23页 |
| 1.2.3 分析和讨论 | 第23-24页 |
| 1.3 论文的主要成果和结构安排 | 第24-26页 |
| 1.3.1 论文的主要成果 | 第24-25页 |
| 1.3.2 结构安排 | 第25-26页 |
| 第2章 电子商务安全协议概述 | 第26-39页 |
| 2.1 安全协议 | 第26-29页 |
| 2.1.1 基本概念 | 第26-27页 |
| 2.1.2 安全协议的分类 | 第27-28页 |
| 2.1.3 安全协议的安全目标 | 第28-29页 |
| 2.2 电子商务安全协议 | 第29-32页 |
| 2.2.1 基本概念 | 第29-30页 |
| 2.2.2 电子商务安全协议的分类 | 第30-32页 |
| 2.3 电子商务安全协议的安全性要求 | 第32-36页 |
| 2.3.1 常见的协议攻击类型 | 第33-34页 |
| 2.3.2 安全假设前提 | 第34-35页 |
| 2.3.3 电子商务安全协议的安全目标 | 第35-36页 |
| 2.4 电子商务安全协议的设计准则 | 第36-38页 |
| 2.4.1 安全协议的设计准则 | 第36-38页 |
| 2.4.2 电子商务安全协议的设计准则 | 第38页 |
| 2.5 本章小结 | 第38-39页 |
| 第3章 一个认证电子邮件协议的改进与形式化分析 | 第39-48页 |
| 3.1 一个基于在线第三方的认证电子邮件协议 | 第39-40页 |
| 3.1.1 协议流程 | 第39-40页 |
| 3.1.2 协议存在的安全隐患 | 第40页 |
| 3.2 改进后的协议 | 第40-41页 |
| 3.2.1 协议流程 | 第40-41页 |
| 3.2.2 协议说明 | 第41页 |
| 3.3 改进后协议的形式化分析 | 第41-47页 |
| 3.3.1 扩展Kailar逻辑 | 第41-43页 |
| 3.3.2 改进后协议的形式化分析 | 第43-47页 |
| 3.3.3 与原协议的比较 | 第47页 |
| 3.4 本章小结 | 第47-48页 |
| 第4章 基于组合协议分析的乐观公平交换协议分析 | 第48-64页 |
| 4.1 组合协议分析方法简介 | 第48-51页 |
| 4.1.1 PCL逻辑简介 | 第49-50页 |
| 4.1.2 协议的并行组合与串行组合 | 第50-51页 |
| 4.2 ECS2协议及其形式化分析 | 第51-54页 |
| 4.2.1 ECS2的协议步骤 | 第51-52页 |
| 4.2.2 ECS2协议的组合协议分析 | 第52-54页 |
| 4.3 基于Kailar逻辑的组合协议分析 | 第54-62页 |
| 4.3.1 基于Kailar逻辑的组合协议分析 | 第55页 |
| 4.3.2 ZZW协议简介及安全隐患 | 第55-57页 |
| 4.3.3 一个改进的认证邮件协议 | 第57页 |
| 4.3.4 改进后协议的安全性分析 | 第57-62页 |
| 4.3.5 改进后协议的效率分析 | 第62页 |
| 4.4 本章小结 | 第62-64页 |
| 第5章 一种移动支付协议的设计及其形式化分析 | 第64-78页 |
| 5.1 背景知识 | 第64-68页 |
| 5.1.1 公平移动支付协议的模型 | 第65-66页 |
| 5.1.2 双Hash链及变色龙Hash函数 | 第66-67页 |
| 5.1.3 符号与基本定义 | 第67-68页 |
| 5.2 协议的描述及说明 | 第68-71页 |
| 5.2.1 协议初始化 | 第68页 |
| 5.2.2 协议流程 | 第68-71页 |
| 5.3 协议的安全性分析 | 第71-76页 |
| 5.3.1 协议的安全性说明 | 第71-72页 |
| 5.3.2 协议可追究性和公平性的形式化分析 | 第72-76页 |
| 5.4 协议执行效率分析 | 第76-77页 |
| 5.5 本章小结 | 第77-78页 |
| 第6章 基于状态转换的协议形式化分析 | 第78-92页 |
| 6.1 协议的形式化建模 | 第78-81页 |
| 6.1.1 协议的定义 | 第78-80页 |
| 6.1.2 协议目标的形式化描述 | 第80-81页 |
| 6.2 对扩展Kailar逻辑的改进 | 第81-83页 |
| 6.2.1 增加时间条件 | 第81-82页 |
| 6.2.2 增加协议主体状态描述 | 第82-83页 |
| 6.2.3 扩展后的逻辑对协议的分析过程 | 第83页 |
| 6.3 协议分析实例 | 第83-90页 |
| 6.3.1 CCD协议 | 第83-84页 |
| 6.3.2 CCD协议的分析 | 第84-89页 |
| 6.3.3 对CCD协议的改进 | 第89-90页 |
| 6.4 与其他相关工作的比较 | 第90页 |
| 6.5 本章小结 | 第90-92页 |
| 第7章 一个多方公平交换协议的设计与形式化分析 | 第92-102页 |
| 7.1 对一个多方认证邮件协议的分析 | 第92-94页 |
| 7.1.1 协议流程 | 第92-93页 |
| 7.1.2 协议存在的安全隐患 | 第93-94页 |
| 7.2 一个改进的多方认证邮件协议 | 第94-96页 |
| 7.2.1 协议改进的要点 | 第94-95页 |
| 7.2.2 改进后的协议流程 | 第95-96页 |
| 7.3 对改进后协议的形式化分析 | 第96-101页 |
| 7.3.1 协议分析的准备 | 第97页 |
| 7.3.2 不可否认性分析 | 第97-99页 |
| 7.3.3 不可否认性分析公平性分析 | 第99-100页 |
| 7.3.4 与改进前协议的比较 | 第100-101页 |
| 7.4 本章小结 | 第101-102页 |
| 结论与展望 | 第102-104页 |
| 致谢 | 第104-105页 |
| 参考文献 | 第105-118页 |
| 攻读博士学位期间发表的论文及科研成果 | 第118页 |
