基于UCSA框架的零知識證明協(xié)議驗證

第1章 緒論
1.1 技術背景
1.2 國內外研究現(xiàn)狀
1.3 研究內容及其結果
1.4 組織結構
第2章 基礎知識
2.1 密碼協(xié)議
2.2 多帶交互式圖靈機
2.3 UC模型
2.4 UCSA模型
2.5 零知識證明協(xié)議
本章小結
第3章 UC模型的可描述性和模塊化設計與分析
3.1 UC模型的可描述性
3.2 協(xié)議的模塊化設計與分析
本章小結
第用可組合零知識證明協(xié)議
4.1 UCZK協(xié)議
4.2 UCZK協(xié)議的實現(xiàn)
4.3 構造LJCZK協(xié)議
本章小結
第5章 基于零知識證明UCSA框架的擴展與形式化分析
5.1 APi演算
5.2 密碼原語的抽象
5.3 APi演算形式化分析模型
5.4 協(xié)議UC屬性的形式化分析
5.5 基于零知識證明構造的匿名簽名協(xié)議分析
本章小結
第6章結與展望
6.1 主要工作
6.2 展望
參考文獻