| 摘要 | 第1-7页 |
| Abstract | 第7-16页 |
| 第一章 绪论 | 第16-21页 |
| ·引言 | 第16-17页 |
| ·国内外研究现状与分析 | 第17-19页 |
| ·本文的组织结构 | 第19-20页 |
| ·本章小结 | 第20-21页 |
| 第二章 基础知识 | 第21-46页 |
| ·量子信息技术简介 | 第21-43页 |
| ·量子信息与线性代数 | 第21-35页 |
| ·内积、外积与Hilbert空间 | 第23-25页 |
| ·量子门与幺正变换 | 第25-29页 |
| ·本征值和本征矢 | 第29-31页 |
| ·矩阵的相似与对角化 | 第31-32页 |
| ·复合系统和张量积 | 第32-34页 |
| ·一个重要的函数Trace | 第34-35页 |
| ·量子测量理论 | 第35-39页 |
| ·一般性测量 | 第35-36页 |
| ·投影测量 | 第36-37页 |
| ·POVM测量 | 第37-38页 |
| ·对多粒子的联合测量 | 第38-39页 |
| ·密度矩阵 | 第39-43页 |
| ·安全多(双)方计算 | 第43-45页 |
| ·密钥分配 | 第43-44页 |
| ·茫然传送 | 第44页 |
| ·比特承诺 | 第44页 |
| ·零知识证明 | 第44-45页 |
| ·本章小结 | 第45-46页 |
| 第三章 量子密钥分配 | 第46-60页 |
| ·量子密钥分配的物理基础 | 第46-47页 |
| ·三大量子密钥分配协议 | 第47-49页 |
| ·构建安全高效的量子密钥分配方案 | 第49-58页 |
| ·一般的模型和相关的定义 | 第49-51页 |
| ·一般性的QKD模型和效率定义 | 第49-50页 |
| ·安全性等级 | 第50-51页 |
| ·安全高效的量子密钥分配协议的构造 | 第51-54页 |
| ·基于POVM测量的QKD协议 | 第51-52页 |
| ·效率与安全性分析 | 第52-54页 |
| ·不需要经典信道的量子密钥分配协议的构造 | 第54-58页 |
| ·不需要经典信道的QKD协议 | 第55-56页 |
| ·效率分析 | 第56页 |
| ·安全性分析 | 第56-58页 |
| ·本章小结 | 第58-60页 |
| 第四章 量子茫然传送 | 第60-93页 |
| ·茫然传送简介 | 第60-63页 |
| ·BBCS92协议的分析──缺陷、效率 | 第63-65页 |
| ·BBCS92 | 第63-64页 |
| ·协议分析 | 第64-65页 |
| ·确定性测量与两种新的茫然传送协议 | 第65-78页 |
| ·确定性测量的思想 | 第65-66页 |
| ·新的QOT协议之一(基于POVM) | 第66-74页 |
| ·基于POVM测量的t-OT子协议 | 第67-68页 |
| ·基于POVM测量的QOT协议 | 第68-69页 |
| ·协议的分析与安全性证明 | 第69-74页 |
| ·新的QOT协议之二(基于Teleportation) | 第74-78页 |
| ·量子态隐形传输 | 第74-76页 |
| ·基于量子态隐形传输的茫然传送协议 | 第76-77页 |
| ·协议分析 | 第77-78页 |
| ·一种新的攻击方式 | 第78-80页 |
| ·最优化测量与如何获得高效的QOT | 第80-84页 |
| ·基于三粒子纠缠态的茫然传送方案 | 第84-89页 |
| ·简要的预备知识 | 第84页 |
| ·基于三粒子纠缠态的QOT方案 | 第84-85页 |
| ·正确性分析 | 第85-86页 |
| ·安全性证明 | 第86-89页 |
| ·茫然传送的推广──秘密的全或无泄露 | 第89-91页 |
| ·量子ANDOS协议 | 第89-90页 |
| ·协议的进一步讨论 | 第90-91页 |
| ·相关结论 | 第91页 |
| ·本章小结 | 第91-93页 |
| 第五章 量子比特承诺 | 第93-117页 |
| ·比特承诺简介 | 第93-94页 |
| ·关于无条件安全性比特承诺的存在性探讨 | 第94-100页 |
| ·Yao模型 | 第94-95页 |
| ·Schmidt极形式与HJS定理 | 第95-98页 |
| ·不可能性证明 | 第98-100页 |
| ·双证明者比特承诺 | 第100-113页 |
| ·双证明者模型 | 第101页 |
| ·TPBC协议 | 第101-113页 |
| ·预备知识 | 第101-103页 |
| ·两个相关的安全性定义 | 第101-102页 |
| ·线性码 | 第102页 |
| ·椭圆曲线 | 第102-103页 |
| ·经典环境的TPBC协议 | 第103-108页 |
| ·基于椭圆曲线的比特承诺方案 | 第103-104页 |
| ·正确性与安全性证明 | 第104-105页 |
| ·协议的推广 | 第105-108页 |
| ·量子环境下的TPBC协议 | 第108-113页 |
| ·量子比特承诺方案 | 第108-109页 |
| ·正确性与安全性证明 | 第109-113页 |
| ·无条件安全的比特承诺方案的进一步探讨 | 第113-115页 |
| ·本章小节 | 第115-117页 |
| 第六章 量子零知识证明 | 第117-132页 |
| ·零知识证明简介 | 第117-121页 |
| ·交互证明系统 | 第118-120页 |
| ·零知识证明系统的定义 | 第120-121页 |
| ·判定问题和复杂性类 | 第121-126页 |
| ·计算模型与判定问题 | 第121-123页 |
| ·复杂性类 | 第123-126页 |
| ·P、NP和NP完全 | 第123-125页 |
| ·空间复杂性类 | 第125页 |
| ·BPP | 第125-126页 |
| ·模拟器 | 第126-127页 |
| ·量子零知识证明系统的构造 | 第127-131页 |
| ·一个特定的NP完全问题──图的三着色 | 第127-129页 |
| ·图三着色的量子零知识证明 | 第129-130页 |
| ·归约──所有NP完全问题的量子零知识证明 | 第130-131页 |
| ·本章小结 | 第131-132页 |
| 第七章 总结与展望 | 第132-135页 |
| ·本文的工作 | 第132-133页 |
| ·进一步的工作 | 第133-135页 |
| 参考文献 | 第135-145页 |
| 致谢 | 第145-147页 |
| 攻读学位期间发表的学术论文 | 第147-149页 |
| 参加的科研项目与获奖情况 | 第149页 |