王正才，博士，副教授，毕业于贵州大学计算机软件与理论专业，现就职于贵州轻工职业技术学院，担任贵州商用密码与大数据工程技术应用中心负责人，具有丰富的理论与实践经验；曾担任贵州开放大学信息化建设领导小组办公室副主任，负责学校信息化规划与建设，多次担任过贵州财经大学、贵州开放大学、贵州轻工职业技术学院教学改革和项目建设负责人，担任贵州省大数据人才促进会副秘书长，全国青年职业技能大赛***裁判；主讲过计算机领域本科和高职核心课程10余门，发表论文20多篇，其中EI收录4篇，北大核心收录8篇，主持省级课题3项，市厅级课题1项，发表专利7项，多次指导学生获得***、省级大赛大奖。

第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章 通用可组合零知识证明协议
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 展望
参考文献