MARC状态：审校 文献类型：中文图书 浏览次数：49
- 题名/责任者:
- 基于UCSA框架的零知识证明协议验证/王正才著
- 出版发行项:
- 成都:西南交通大学出版社,2022
- ISBN及定价:
- 978-7-5643-8784-6/CNY58.00
- 载体形态项:
- 166页;23cm
- 个人责任者:
- 王正才 著
- 学科主题:
- 信息安全-通信协议-研究
- 中图法分类号:
- TP393.08
- 书目附注:
- 有书目 (第154-166页)
- 提要文摘附注:
- 本书针对目前安全协议中存在的不具有实用性或过于复杂等问题，以UC安全属性作为主要对象，研究ZK协议及对它的形式化甚至自动化进行分析验证，主要工作有：研究UC模型的可描述性及UC模型中协议模块化设计与分析方法，利用UC模型分析密码协议的安全性，主要是利用协议仿真严格证明协议是否能安全实现特定安全任务；研究通用可组合零知识证明协议，可规约到通用可组合不经意传输(UCOT)协议的实现；研究基于零知识证明的通用可组合形式化分析模型的扩展和形式化分析。
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
| TP393.08/1142 | 60269790 |  临安自科(N-Z)(2F)(信息工程学院)
|
可借 | 临安自科(N-Z)(2F)(信息工程学院) | |
| TP393.08/1142 | 60269791 | 临安自科(N-Z)(2F)(信息工程学院)
|
可借 | 临安自科(N-Z)(2F)(信息工程学院) | |
| TP393.08/1142 | 72520189 | 自然书库（3F东）
|
可借 | 自然书库（3F东） | |
| TP393.08/1142 | 72520190 | 自然书库（3F东）
|
可借 | 自然书库（3F东） | |
| TP393.08/1142 | 72520191 | 自然书库（3F东）
|
可借 | 自然书库（3F东） |
显示全部馆藏信息
CADAL相关电子图书
借阅趋势
同名作者的其他著作(点击查看)
收藏到： 管理书架