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

定　價：￥58.00

作　者：	王正才
出版社：	西南交通大學(xué)出版社
叢編項：
標(biāo)　簽：	暫缺

購買這本書可以去

ISBN：	9787564387846	出版時間：	2022-11-01	包裝：	平裝-膠訂
開本：	16開	頁數(shù)：		字?jǐn)?shù)：

內(nèi)容簡介

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

作者簡介

暫缺《基于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)