基于UCSA框架的零知识证明协议验证
批量上传，套装书可能不全，下单前咨询在线客服！有特殊要求，下单前请咨询客服！
￥ 35.38 6.1折 ￥ 58 全新
库存5件
作者王正才
出版社西南交通大学出版社
ISBN9787564387846
出版时间2022-11
装帧平装
开本16开
定价58元
货号29507280
上书时间2024-11-03
![“机械基础件、基础制造工艺和基础材料”系列丛书：机械基础件标准汇编[ 法兰]](https://www0.kfzimg.com/sw/kfz-cos/kfzimg/bafdfaae/ae1f3c2894506102_s.jpg)
商品详情
- 品相描述：全新
- 商品描述
-
导语摘要
本书为专著，致力于计算机信息协议的研究。针对目前协议中存在的不具有实用性或过于复杂等问题，本书以UC属性作为主要对象，研究zk协议及对它的形式化甚至自动行分析验证，主要工作有：研究uC模型的可描述性及uC模型中协议模块化设计与分析方法，利用uc模型分析密码协议的性，主要是利用协议严格证明协议是否能实现特定任务；研究通用可组合零知识证明协议，可规约到通用可组合不经意传输(UCOT)协议的实现；研究基于零知识证明的通用可组合形式化分析模型的扩展和形式化分析。
目录第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.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 展望
参考文献
内容摘要本书为专著，致力于计算机信息协议的研究。针对目前协议中存在的不具有实用性或过于复杂等问题，本书以UC属性作为主要对象，研究zk协议及对它的形式化甚至自动行分析验证，主要工作有：研究uC模型的可描述性及uC模型中协议模块化设计与分析方法，利用uc模型分析密码协议的性，主要是利用协议严格证明协议是否能实现特定任务；研究通用可组合零知识证明协议，可规约到通用可组合不经意传输(UCOT)协议的实现；研究基于零知识证明的通用可组合形式化分析模型的扩展和形式化分析。
相关推荐
-
基于UCSA框架的零知识证明协议验证
全新南京
￥ 44.08
-
基于UCSA框架的零知识证明协议验证
全新广州
￥ 36.15
-
基于UCSA框架的零知识证明协议验证
全新广州
￥ 36.15
-
基于UCSA框架的零知识证明协议验证
全新广州
￥ 38.15
-
基于UCSA框架的零知识证明协议验证
全新东莞
￥ 39.05
-
基于UCSA框架的零知识证明协议验证
全新广州
￥ 42.32
-
基于UCSA框架的零知识证明协议验证
全新成都
￥ 36.88
-
基于UCSA框架的零知识证明协议验证
全新天津
￥ 37.85
-
基于UCSA框架的零知识证明协议验证
全新北京
￥ 43.65
-
基于UCSA框架的零知识明协议验
全新无锡
￥ 36.10
— 没有更多了 —
以下为对购买帮助不大的评价