123,123

內(nèi)容簡(jiǎn)介

　　本書為專著，致力于計(jì)算機(jī)信息協(xié)議的研究。針對(duì)目前協(xié)議中存在的不具有實(shí)用性或過(guò)于復(fù)雜等問(wèn)題，本書以UC屬性作為主要對(duì)象，研究zk協(xié)議及對(duì)它的形式化甚至自動(dòng)行分析驗(yàn)證，主要工作有：研究uC模型的可描述性及uC模型中協(xié)議模塊化設(shè)計(jì)與分析方法，利用uc模型分析密碼協(xié)議的性，主要是利用協(xié)議嚴(yán)格證明協(xié)議是否能實(shí)現(xiàn)特定任務(wù)；研究通用可組合零知識(shí)證明協(xié)議，可規(guī)約到通用可組合不經(jīng)意傳輸（UCOT）協(xié)議的實(shí)現(xiàn)；研究基于零知識(shí)證明的通用可組合形式化分析模型的擴(kuò)展和形式化分析。

作者簡(jiǎn)介

暫缺《基于UCSA框架的零知識(shí)證明協(xié)議驗(yàn)證》作者簡(jiǎn)介

圖書目錄

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