基于UCSA框架的零知识证明协议验证 9787564387846 王正才 西南交通大学出版社
当天发货，全新正版书。新华书店集团直发，凡是套装书，价格异常时，请咨询后下单。
￥ 46.2 8.0折 ￥ 58 全新
仅1件
北京通州
认证卖家担保交易快速发货售后保障
作者王正才
出版社西南交通大学出版社
ISBN9787564387846
出版时间2022-07
装帧平装
开本32开
定价58元
货号1202835957
上书时间2024-04-15
- 在售商品 暂无
- 平均发货时间 9小时
- 好评率 暂无
- 最新上架
商品详情
- 品相描述：全新
- 商品描述
-
目录
第1章绪论
1.1技术背景
1.2国内外研究现状
1.3研究内容及其结果
1.4组织结构
第2章基础知识
2.1密码协议
2.2多带交互式图灵机
2.3UC安全模型
2.4UCSA模型
2.5零知识证明协议
本章小结
第3章UC安全模型的可描述性和模块化设计与分析
3.1UC安全模型的可描述性
3.2协议的模块化设计与分析
本章小结
第4章通用可组合零知识证明协议
4.1UCZK协议
4.2UCZK协议的实现
4.3构造LJCZK协议
本章小结
第5章基于零知识证明UCSA框架的扩展与形式化分析
5.1APi演算
5.2密码原语的抽象
5.3APi演算形式化分析模型
5.4协议UC安全属性的形式化分析
5.5基于零知识证明构造的匿名签名协议分析
本章小结
第6章总结与展望
6.1主要工作
6.2展望
参考文献
内容摘要
本书为专著，致力于计算机信息安全协议的研究。针对目前安全协议中存在的不具有实用性或过于复杂等问题，本书以UC安全属性作为主要对象，研究ZK协议及对它的形式化甚至自动化进行分析验证，主要工作有：研究UC模型的可描述性及UC模型中协议模块化设计与分析方法，利用UC模型分析密码协议的安全性，主要是利用协议仿真严格证明协议是否能安全实现特定安全任务；研究通用可组合零知识证明协议，可规约到通用可组合不经意传输（UCOT）协议的实现；研究基于零知识证明的通用可组合形式化分析模型的扩展和形式化分析。本书可供高等院校从事相关课题研究的师生参考，也对信息安全相关专业研究人员具有一定的启示作用。
— 没有更多了 —
以下为对购买帮助不大的评价