| 摘要 | 第1-7页 |
| ABSTRACT | 第7-14页 |
| 第一章 绪论 | 第14-25页 |
| ·研究问题和意义 | 第14-16页 |
| ·计算上安全和信息论安全 | 第15-16页 |
| ·国内外研究现状 | 第16-22页 |
| ·完善保密模型及其弱化 | 第16-18页 |
| ·信息论安全的消息传输 | 第18-20页 |
| ·计算上安全的消息传输 | 第20-22页 |
| ·课题背景及主要工作 | 第22-24页 |
| ·后续章节安排 | 第24-25页 |
| 第二章 基础知识和模型定义 | 第25-31页 |
| ·符号表示 | 第25页 |
| ·基本定义和结论 | 第25-27页 |
| ·统计距离 | 第25-26页 |
| ·熵 | 第26页 |
| ·随机萃取器 | 第26-27页 |
| ·Hash 函数 | 第27页 |
| ·SMT 协议的定义模型 | 第27-30页 |
| ·信息论安全的消息传输协议模型和定义 | 第27-29页 |
| ·计算上安全的消息传输协议模型和定义 | 第29-30页 |
| ·本章小结 | 第30-31页 |
| 第三章 基于 DDH 问题的高效伪随机序列生成器 | 第31-54页 |
| ·引言 | 第31-34页 |
| ·研究现状 | 第31-33页 |
| ·研究方法和主要结论 | 第33-34页 |
| ·模型和定义 | 第34-37页 |
| ·不可区分性 | 第34-35页 |
| ·伪随机生成器 | 第35页 |
| ·Diffie-Hellman 判决问题 | 第35-36页 |
| ·DDH 引理 | 第36-37页 |
| ·两个有效的伪随机生成器 | 第37-44页 |
| ·模为素数的伪随机生成器 | 第38-40页 |
| ·模为 RSA 合数的伪随机生成器 | 第40-44页 |
| ·性能分析 | 第44-51页 |
| ·基本分析方法 | 第45页 |
| ·模为素数的伪随机生成器的性能 | 第45-47页 |
| ·模为 RSA 合数的伪随机生成器的性能 | 第47-49页 |
| ·使用预运算的算法效率 | 第49页 |
| ·程序实现和比较 | 第49-51页 |
| ·Diffie-Hellman 判定问题的自归约特性 | 第51-53页 |
| ·本章小结 | 第53-54页 |
| 第四章 公开讨论信道模型下的 SMT 协议的轮复杂度 | 第54-78页 |
| ·引言 | 第54-56页 |
| ·研究动机 | 第54-55页 |
| ·主要结论 | 第55-56页 |
| ·SMT-PD 协议的轮复杂性证明 | 第56-72页 |
| ·协议模型 | 第56-57页 |
| ·一个基本引理 | 第57-58页 |
| ·(2,2)-轮 SMT-PD 协议的不可能性证明 | 第58-61页 |
| ·(r,1)-轮 SMT-PD 协议的不可能性证明 | 第61-66页 |
| ·(3,1)-轮 SMT-PD 协议的不可能性证明 | 第66-72页 |
| ·一个轮复杂度最优的 SMT-PD 协议 | 第72-77页 |
| ·协议的构造 | 第72-75页 |
| ·SMT-PD 协议的比较 | 第75页 |
| ·程序实现 | 第75-77页 |
| ·本章小结 | 第77-78页 |
| 第五章 几个 1-轮有效的 Almost SMT 协议 | 第78-92页 |
| ·一个 n=(2+ )t 条件下的 1-轮 Almost SMT 协议 | 第78-83页 |
| ·协议构造 | 第78-82页 |
| ·两个基础 SMT 协议的实现 | 第82-83页 |
| ·一个 n=2t+1 条件下的 1-轮 Almost SMT 协议 | 第83-85页 |
| ·类似语义安全的 Almost SMT 协议 | 第85-91页 |
| ·模型和相关结论 | 第86-87页 |
| ·SMT 协议的类似语义安全性定义 | 第87-89页 |
| ·一个有效的类似语义安全的 1-轮 Almost SMT 协议 | 第89-90页 |
| ·安全性分析 | 第90-91页 |
| ·本章小结 | 第91-92页 |
| 第六章 敌手信道上的 SMT 协议 | 第92-100页 |
| ·引言 | 第92-93页 |
| ·相关工作 | 第93页 |
| ·模型与定义 | 第93-94页 |
| ·网络及攻击模型 | 第93-94页 |
| ·敌手信道模型下的 SMT 协议定义 | 第94页 |
| ·纠错码在敌手信道中的失效性 | 第94-95页 |
| ·本章提出的敌手信道模型中的 SMT 协议 | 第95-99页 |
| ·敌手信道中的信息协商协议 | 第95-96页 |
| ·SMT 协议的构造 | 第96-98页 |
| ·与已有 Almost SMT 协议的比较 | 第98-99页 |
| ·本章小结 | 第99-100页 |
| 第七章 多信道密钥扩展问题 | 第100-122页 |
| ·引言 | 第100-104页 |
| ·密钥扩展问题 | 第101-102页 |
| ·AKA 协议模型的内在问题 | 第102-103页 |
| ·从 SMT 到 KEoW | 第103页 |
| ·带初始弱密钥的 SMT 协议 | 第103-104页 |
| ·模型与定义 | 第104-106页 |
| ·KEoW 迭代扩展定理 | 第106-109页 |
| ·完备可靠的 KEoW 协议在 n<2t+1 时的不可能性证明 | 第109-112页 |
| ·一个 n>t 条件下的 3-轮 KEoW 协议 | 第112-118页 |
| ·一个 t 条信道上的 3-轮信道认证协议 | 第112-115页 |
| ·KEoW 协议构造 | 第115-118页 |
| ·通信复杂度分析 | 第118-120页 |
| ·KEoW 协议的通信复杂度 | 第118-119页 |
| ·带初始密钥的 SMT 协议的通信复杂度 | 第119-120页 |
| ·一个 n>t 条件下带初始弱密钥的 Almost SMT 协议 | 第120-121页 |
| ·本章小结 | 第121-122页 |
| 第八章 总结与展望 | 第122-125页 |
| ·全文总结 | 第122-123页 |
| ·未来工作 | 第123-125页 |
| 致谢 | 第125-127页 |
| 参考文献 | 第127-135页 |
| 攻博期间取得的研究成果 | 第135-137页 |
| 1. 论文情况 | 第135-136页 |
| 2. 科研情况 | 第136-137页 |
