首页--工业技术论文--自动化技术、计算机技术论文--计算技术、计算机技术论文--计算机的应用论文--计算机网络论文--一般性问题论文

公平不可否认协议设计及其形式化分析

摘要第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页

论文共62页,点击 下载论文
上一篇:论房地产中介行为的私法规制
下一篇:消费者决策满意度的影响因素研究--以电脑产品的购买为例