零知识证明及承诺协议的不可延展性研究
| 摘要 | 第1-12页 |
| Abstract | 第12-17页 |
| 第一章 引言 | 第17-24页 |
| ·研究背景与意义 | 第17-20页 |
| ·密码学、零知识以及承诺协议 | 第17-19页 |
| ·协议的组合及不可延展性 | 第19-20页 |
| ·本文的工作 | 第20-23页 |
| ·本文的组织 | 第23-24页 |
| 第二章 预备知识 | 第24-36页 |
| ·计算不可区分性 | 第24-25页 |
| ·单向函数 | 第25页 |
| ·交互证明系统 | 第25-26页 |
| ·零知识证明 | 第26-28页 |
| ·承诺协议 | 第28-29页 |
| ·证据不可区分性 | 第29-30页 |
| ·知识的证明 | 第30-31页 |
| ·特殊可靠性 | 第31-32页 |
| ·安全协议的组合 | 第32-33页 |
| ·不可延展性 | 第33-35页 |
| ·黑盒模拟与非黑盒模拟 | 第35-36页 |
| 第三章 具有鲁棒性的并发不可延展零知识 | 第36-57页 |
| ·引言 | 第36-39页 |
| ·相关定义及子协议 | 第39-47页 |
| ·不可延展的承诺 | 第39-40页 |
| ·并发不可延展的零知识 | 第40-41页 |
| ·并发可抽取性 | 第41-45页 |
| ·鲁棒的不可延展承诺方案 | 第45-46页 |
| ·弱不可延展性 | 第46-47页 |
| ·本文的方案 | 第47-48页 |
| ·安全性证明 | 第48-56页 |
| ·模拟抽取器的构造 | 第49-50页 |
| ·模拟的不可区分性 | 第50-52页 |
| ·证据抽取的正确性 | 第52-56页 |
| ·本章小结 | 第56-57页 |
| 第四章 完全并发不可延展的承诺及解承诺 | 第57-76页 |
| ·引言 | 第57-60页 |
| ·两阶段可重叠的并发不可延展承诺：定义 | 第60-62页 |
| ·两阶段可重叠的并发不可延展承诺：本文的方案 | 第62-65页 |
| ·对不可延展性的证明 | 第65-75页 |
| ·承诺阶段的并发不可延展性证明 | 第66-72页 |
| ·打开阶段的并发不可延展性证明 | 第72-75页 |
| ·本章小结 | 第75-76页 |
| 第五章 总结及展望 | 第76-78页 |
| ·本文工作的总结 | 第76页 |
| ·后续工作的方向 | 第76-78页 |
| 参考文献 | 第78-82页 |
| 致谢 | 第82-83页 |
| 攻读学位期间发表的主要学术论文 | 第83-84页 |
| 攻读学位期间参与科研项目情况 | 第84-85页 |
| 英文论文(一) | 第85-109页 |
| 英文论文(二) | 第109-136页 |
| 学位论文评阅及答辩情况表 | 第136页 |
