摘要 | 第1-5页 |
ABSTRACT | 第5-10页 |
1 绪论 | 第10-18页 |
·公平非否认协议的研究背景 | 第10-11页 |
·公平非否认协议研究现状 | 第11-12页 |
·安全协议形式化方法的发展过程概述 | 第12-17页 |
·基于推理的结构化方法 | 第12-15页 |
·基于攻击的结构化方法 | 第15-16页 |
·基于证明的结构化方法 | 第16-17页 |
·论文主要工作 | 第17-18页 |
2 公平不可否认协议形式化分析的基础问题 | 第18-30页 |
·相关的密码技术和密码机制 | 第18-21页 |
·公平不可否认协议概念及分类 | 第21-24页 |
·安全协议分析的基本假设及若干安全性质 | 第24-27页 |
·公平不可否认协议常见攻击 | 第27-28页 |
·前向安全性质 | 第28页 |
·不可否认协议的设计思路与设计原则 | 第28-30页 |
3 SVO 逻辑方法 | 第30-34页 |
·SVO 逻辑符号定义 | 第30-31页 |
·SVO 逻辑方法原理 | 第31-34页 |
·SVO 逻辑语言 | 第31页 |
·SVO 逻辑系统 | 第31-32页 |
·SVO 逻辑分析方法和步骤 | 第32-33页 |
·SVO 逻辑分析目标 | 第33-34页 |
4 一种新型的面向电子邮件的非否认协议 | 第34-40页 |
·面向电子邮件的非否认协议研究现状 | 第34页 |
·基本标识符描述 | 第34-35页 |
·改进前的CMP1 协议安全缺陷分析 | 第35-36页 |
·改进后的面向电子邮件的公平非否认协议CMP1' | 第36-37页 |
·改进后协议CMP1'的分析 | 第37-38页 |
·争端解决 | 第37-38页 |
·公平性 | 第38页 |
·保密性 | 第38页 |
·高效性 | 第38页 |
·改进后协议CMP1'优点 | 第38-39页 |
·本章小结 | 第39-40页 |
5 一种面向电子邮件的非否认协议及形式化分析 | 第40-48页 |
·面向电子邮件的非否认协议一般安全缺陷 | 第40页 |
·改进前DKNRP((double-encrypted key non-repudiation protocol)描述及安全缺陷分析 | 第40-41页 |
·一种面向电子邮件的公平不可否认协议 | 第41-42页 |
·改进后协议的形式化分析 | 第42-46页 |
·协议的预期目标 | 第42页 |
·SVO 逻辑的推理规则及公理 | 第42-43页 |
·协议的信任假设 | 第43-44页 |
·协议目标形式化证明 | 第44-46页 |
·本章小结 | 第46-48页 |
6 与时间相关的安全电子邮件协议 | 第48-53页 |
·现有协议存在的缺陷 | 第48页 |
·与时间相关的安全电子邮件协议 | 第48-51页 |
·前向安全技术与单向hash 链 | 第48-49页 |
·基本标识符 | 第49页 |
·与时间相关的协议描述 | 第49-50页 |
·协议安全性质分析 | 第50-51页 |
·本章小结 | 第51-53页 |
7 总结与展望 | 第53-54页 |
总结 | 第53页 |
进一步工作展望 | 第53-54页 |
致谢 | 第54-55页 |
参考文献 | 第55-60页 |
附录 | 第60-62页 |