基于UCSA框架的零知识证明协议验证
正版新书 新华官方库房直发 可开电子发票
￥ 44.08 7.6折 ￥ 58 全新
仅1件
作者王正才
出版社西南交通大学出版社
ISBN9787564387846
出版时间2022-07
版次1
装帧平装
开本32开
纸张胶版纸
页数352页
字数151千字
定价58元
货号SC:9787564387846
上书时间2024-11-08
- 在售商品 暂无
- 平均发货时间 16小时
- 好评率 暂无
商品详情
- 品相描述：全新
- 全新正版 提供发票
- 商品描述
-
内容简介:
本书为专著，致力于计算机信息安全协议的研究。针对目前安全协议中存在的不具有实用性或过于复杂等问题，本书以UC安全属性作为主要对象，研究ZK协议及对它的形式化甚至自动化进行分析验证，主要工作有：研究UC模型的可描述性及UC模型中协议模块化设计与分析方法，利用UC模型分析密码协议的安全性，主要是利用协议仿真严格证明协议是否能安全实现特定安全任务；研究通用可组合零知识证明协议，可规约到通用可组合不经意传输（UCOT）协议的实现；研究基于零知识证明的通用可组合形式化分析模型的扩展和形式化分析。本书可供高等院校从事相关课题研究的师生参考，也对信息安全相关专业研究人员具有一定的启示作用。
目录:
第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展望
参考文献
相关推荐
-
基于UCSA框架的零知识证明协议验证
全新广州
￥ 36.15
-
基于UCSA框架的零知识证明协议验证
全新广州
￥ 36.15
-
基于UCSA框架的零知识证明协议验证
全新广州
￥ 38.15
-
基于UCSA框架的零知识证明协议验证
全新东莞
￥ 39.05
-
基于UCSA框架的零知识证明协议验证
全新广州
￥ 42.32
-
基于UCSA框架的零知识证明协议验证
全新南昌
￥ 35.38
-
基于UCSA框架的零知识证明协议验证
全新成都
￥ 36.88
-
基于UCSA框架的零知识证明协议验证
全新天津
￥ 37.85
-
基于UCSA框架的零知识证明协议验证
全新北京
￥ 43.65
-
基于UCSA框架的零知识明协议验
全新无锡
￥ 36.10
— 没有更多了 —
以下为对购买帮助不大的评价