安全计算及其应用的研究
| 摘要 | 第1-6页 |
| Abstract | 第6-10页 |
| 图表目录 | 第10-11页 |
| 第一章 引言 | 第11-17页 |
| ·安全计算的需求 | 第11-13页 |
| ·组织结构 | 第13-15页 |
| ·主要贡献 | 第15-17页 |
| 第二章 安全计算协议概述 | 第17-39页 |
| ·预备知识 | 第17-27页 |
| ·计算复杂性理论 | 第17-21页 |
| ·随机算法 | 第21-24页 |
| ·协议模型 | 第24-27页 |
| ·基本协议 | 第27-34页 |
| ·位承诺协议 | 第28-29页 |
| ·零知识证明协议 | 第29-31页 |
| ·不经意传输协议 | 第31-32页 |
| ·秘密共享协议 | 第32-34页 |
| ·安全计算的研究进展 | 第34-38页 |
| ·安全计算的历史 | 第34-36页 |
| ·安全计算的研究方法 | 第36-38页 |
| ·小结 | 第38-39页 |
| 第三章 不经意传输协议 | 第39-65页 |
| ·基于椭圆曲线离散对数问题的不经意传输协议 | 第39-48页 |
| ·不经意传输协议的构造 | 第40-45页 |
| ·安全性证明 | 第45-47页 |
| ·性能分析 | 第47-48页 |
| ·计算的安全性 | 第48-56页 |
| ·等价性的讨论 | 第49-50页 |
| ·不经意函数评估 | 第50-52页 |
| ·安全性讨论 | 第52-56页 |
| ·合同签订问题 | 第56-62页 |
| ·形式化定义 | 第56-58页 |
| ·协议描述 | 第58-61页 |
| ·协议的终止公平性 | 第61-62页 |
| ·小结与展望 | 第62-65页 |
| 第四章 可验证秘密共享协议 | 第65-83页 |
| ·主动式安全 | 第65-73页 |
| ·主动式VSS 的构造 | 第67-71页 |
| ·分布式存储方案 | 第71-73页 |
| ·商品服务器模型 | 第73-81页 |
| ·基于商品服务器模型的VSS | 第76-78页 |
| ·在线升级协议 | 第78-81页 |
| ·小结与展望 | 第81-83页 |
| 第五章 可信计算平台 | 第83-105页 |
| ·电子商务面临的威胁 | 第83-87页 |
| ·可信平台的构造 | 第87-101页 |
| ·安全系统的结构 | 第88-90页 |
| ·可信模块的功能 | 第90-96页 |
| ·平台身份验证 | 第96-101页 |
| ·系统比较与分析 | 第101-104页 |
| ·小结与展望 | 第104-105页 |
| 第六章 结束语 | 第105-107页 |
| ·研究内容总结 | 第105-106页 |
| ·未来工作规划 | 第106-107页 |
| 参考文献 | 第107-115页 |
| 致谢 | 第115-117页 |
| 作者简历 | 第117页 |
