| 摘要 | 第1-7页 |
| ABSTRACT | 第7-11页 |
| 第一章 绪论 | 第11-27页 |
| ·密码协议 | 第11-14页 |
| ·基本的密码协议 | 第12页 |
| ·两方密码学任务 | 第12-13页 |
| ·多方密码学任务 | 第13-14页 |
| ·协议形式化设计和分析方法 | 第14-17页 |
| ·符号操作方法 | 第14-15页 |
| ·计算复杂性方法 | 第15-16页 |
| ·国内研究现状 | 第16-17页 |
| ·协议复合 | 第17-21页 |
| ·协议复合类型 | 第18页 |
| ·协议复合调度方案 | 第18-19页 |
| ·协议复合的攻击者能力模型 | 第19-20页 |
| ·协议复合研究现状 | 第20-21页 |
| ·可复合安全协议设计方法论 | 第21-23页 |
| ·协议的安全定义 | 第21-22页 |
| ·基于复杂性困难问题的原语 | 第22页 |
| ·密码协议的理想函数及协议的可证明安全 | 第22-23页 |
| ·本文的主要工作及结构安排 | 第23-27页 |
| ·主要工作与研究成果 | 第23-24页 |
| ·本文结构安排 | 第24-27页 |
| 第二章 身份相交复合操作理论及应用 | 第27-51页 |
| ·复合操作理论研究现状 | 第27-36页 |
| ·UC 安全模型及协议安全定义 | 第27-31页 |
| ·通用复合操作理论 | 第31-34页 |
| ·相交复合操作理论 | 第34-36页 |
| ·ID-JUC：身份相交复合操作理论 | 第36-40页 |
| ·问题的描述 | 第36-37页 |
| ·身份相交复合操作理论 | 第37-38页 |
| ·身份相交复合的实现 | 第38-40页 |
| ·基于身份相交复合理论的GDOI 协议 | 第40-48页 |
| ·GROUPKEY-PULL 协议存在的安全攻击 | 第40-43页 |
| ·GROUPKEY-PULL 协议的理想函数 | 第43-46页 |
| ·基于ID-JUC 的GROUPKEY-PULL 协议实现和安全分析 | 第46-48页 |
| ·结论 | 第48-51页 |
| 第三章 路由协议的UC 安全模型及应用 | 第51-67页 |
| ·可证明安全路由协议研究现状 | 第51-54页 |
| ·路由协议 | 第51-52页 |
| ·安全路由协议的研究现状 | 第52-54页 |
| ·可证明安全路由协议研究基础 | 第54-58页 |
| ·网络模型 | 第55-56页 |
| ·构造和可模糊路由 | 第56-58页 |
| ·路由协议的UC 安全模型 | 第58-60页 |
| ·安全定义 | 第58-59页 |
| ·路由协议理想函数 | 第59-60页 |
| ·可证明安全路由协议的应用研究 | 第60-66页 |
| ·多路径路由协议SMNDP | 第61-64页 |
| ·多路径路由协议SMNDP 的安全性分析 | 第64-66页 |
| ·结论 | 第66-67页 |
| 第四章 UC 安全不经意传输协议 | 第67-81页 |
| ·不经意传输协议研究基础 | 第67-70页 |
| ·VSPH：可验证平滑投影散列函数 | 第67-69页 |
| ·DDE：可否认双陷门加密体制 | 第69-70页 |
| ·基于VSPH 的不经意传输协议的安全分析 | 第70-74页 |
| ·不经意传输协议理想函数 | 第71页 |
| ·VSPH-OT 协议方案 | 第71页 |
| ·VSPH-OT 协议安全性分析 | 第71-74页 |
| ·基于VSPH-DDE 的UC 不经意传输协议 | 第74-78页 |
| ·基于VSPH-DDE 的UC-OT 协议 | 第74-75页 |
| ·基于VSPH-DDE 的UC-OT 协议安全性分析 | 第75-78页 |
| ·相关工作的比较与结论 | 第78-81页 |
| 第五章 UC 安全可否认认证协议 | 第81-92页 |
| ·可否认认证的UC 安全模型 | 第81-86页 |
| ·安全需求 | 第83-84页 |
| ·可否认认证协议理想函数 | 第84-85页 |
| ·基于DCR 假设的变型VSPH | 第85-86页 |
| ·基于WI-VSPH 的并行可否认认证 | 第86-90页 |
| ·基于WI-VSPH 的并行可否认认证 | 第86-87页 |
| ·基于WI-VSPH 的并行可否认认证安全性分析 | 第87-90页 |
| ·相关工作比较和结论 | 第90-92页 |
| 第六章 UC 安全模型在特殊无线网络中的应用 | 第92-111页 |
| ·密钥种子管理和分配模型 | 第92-96页 |
| ·单向累加器 | 第93-95页 |
| ·密钥种子管理和分配的形式化模型 | 第95-96页 |
| ·UC 安全的传感器网络共享秘密建立方案 | 第96-103页 |
| ·无线传感器网络密钥种子管理和分配的新方案 | 第96-98页 |
| ·传感器网络IDW-AKE 协议方案 | 第98-99页 |
| ·传感器网络IDW-AKE 协议安全性分析 | 第99-100页 |
| ·传感器网络共享秘密建立方案的综合分析 | 第100-103页 |
| ·UC 安全的移动卫星通信系统密钥建立协议 | 第103-109页 |
| ·安全需求 | 第104页 |
| ·移动卫星通信系统认证密钥交换协议的理想函数 | 第104-106页 |
| ·移动卫星通信系统认证密钥交换协议的实现 | 第106-108页 |
| ·移动卫星通信系统认证密钥交换协议的安全性证明 | 第108-109页 |
| ·相关工作 | 第109页 |
| ·结论 | 第109-111页 |
| 第七章 结束语 | 第111-113页 |
| 致谢 | 第113-115页 |
| 参考文献 | 第115-127页 |
| 作者在攻读博士学位期间完成的论文和科研工作 | 第127-129页 |