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

　　本书为专著，致力于计算机信息协议的研究。针对目前协议中存在的不具有实用性或过于复杂等问题，本书以UC属性作为主要对象，研究zk协议及对它的形式化甚至自动行分析验证，主要工作有：研究uC模型的可描述性及uC模型中协议模块化设计与分析方法，利用uc模型分析密码协议的性，主要是利用协议严格证明协议是否能实现特定任务；研究通用可组合零知识证明协议，可规约到通用可组合不经意传输（UCOT）协议的实现；研究基于零知识证明的通用可组合形式化分析模型的扩展和形式化分析。

暂缺《基于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 展望
参考文献