公平交换协议的形式化分析与设计

协议目录	第1-8页
图目录	第8-10页
摘要	第10-12页
ABSTRACT	第12-14页
第一章 绪论	第14-26页
·公平交换协议概述	第14-18页
·公平交换协议的基本概念	第14-16页
·公平交换协议的安全属性	第16-18页
·研究现状	第18-24页
·公平交换协议的形式化分析方法	第19-23页
·公平交换协议的设计	第23-24页
·本文主要工作、创新点与意义	第24-25页
·论文章节安排	第25-26页
第二章 协议形式化分析基础与理论	第26-46页
·协议形式化分析基础	第26-28页
·形式化方法概述	第26-27页
·攻击者能力模型	第27-28页
·BAN 类逻辑	第28-34页
·BAN 逻辑概述	第28-29页
·在线ZG 非否认协议分析实例	第29-32页
·评述	第32-34页
·基于博弈的ATL 逻辑	第34-39页
·ATL 博弈逻辑概述	第34-37页
·ASW 合同签署协议分析实例	第37-39页
·评述	第39页
·串空间模型	第39-45页
·串空间基本概念	第39-40页
·协议步骤的形式化	第40-43页
·协议主体及攻击者的形式化	第43-44页
·协议安全目标的形式化与证明	第44-45页
·小结	第45-46页
第三章 串空间扩展及公平交换协议的形式化描述	第46-60页
·对串空间认证测试的扩展	第46-51页
·串空间认证测试	第46-48页
·认证测试的改进	第48-51页
·通信信道的扩展	第51-52页
·协议步骤形式化描述的扩展	第52-54页
·协议状态编号	第52-53页
·并发与互斥	第53-54页
·公平交换协议的主体及攻击者	第54-55页
·公平交换协议目标的形式化	第55-59页
·小结	第59-60页
第四章 基于状态推理的公平交换协议形式化分析	第60-83页
·两阶段协议分析方法	第60-64页
·ASW 挂号邮件协议的形式化分析与改进	第64-69页
·ASW 挂号邮件协议分析	第64-67页
·ASW 挂号邮件协议的改进	第67-68页
·ASW 改进协议的分析	第68-69页
·ZG 非否认协议的形式化分析与改进	第69-74页
·ZG 协议描述	第69-70页
·ZG 协议分析	第70-72页
·ZG 协议的改进	第72-73页
·ZG 改进协议的分析	第73-74页
·KM 多方离线协议的形式化分析与改进	第74-82页
·KM 协议描述	第74-77页
·KM 协议分析	第77-80页
·KM 协议的改进	第80-81页
·KM 改进协议的分析	第81-82页
·小结	第82-83页
第五章 公平交换协议的设计	第83-107页
·概述	第83-84页
·设计目标	第83页
·设计原则	第83-84页
·设计方法	第84页
·挂号电子邮件协议的设计与分析	第84-88页
·概述	第84-85页
·协议描述	第85-86页
·协议分析	第86-88页
·电子购物协议的设计与分析	第88-97页
·概述	第88-89页
·并发签名算法	第89-91页
·FEP 协议的设计	第91-94页
·FEP 协议的分析	第94-97页
·多方合同签署协议的设计与分析	第97-105页
·概述	第97页
·协议1 的设计与非形式化分析	第97-100页
·协议2 的设计与非形式化分析	第100-103页
·协议2 的形式化分析	第103-105页
·小结	第105-107页
第六章 总结与展望	第107-110页
·总结	第107-109页
·展望	第109-110页
参考文献	第110-117页
作者攻读博士学位期间完成的主要工作	第117-119页
致谢	第119页