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

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