基于UCSA框架的零知识证明协议验证

第1章 绪论
1.1 技术背景
1.2 国内外研究现状
1.3 研究内容及其结果
1.4 组织结构
第2章 基础知识
2.1 密码协议
2.2 多带交互式图灵机
2.3 UC模型
2.4 UCSA模型
2.5 零知识证明协议
本章小结
第3章 UC模型的可描述性和模块化设计与分析
3.1 UC模型的可描述性
3.2 协议的模块化设计与分析
本章小结
第用可组合零知识证明协议
4.1 UCZK协议
4.2 UCZK协议的实现
4.3 构造LJCZK协议
本章小结
第5章 基于零知识证明UCSA框架的扩展与形式化分析
5.1 APi演算
5.2 密码原语的抽象
5.3 APi演算形式化分析模型
5.4 协议UC属性的形式化分析
5.5 基于零知识证明构造的匿名签名协议分析
本章小结
第6章结与展望
6.1 主要工作
6.2 展望
参考文献