|
题名:
|
基于UCSA框架的零知识证明协议验证 [ 专著] ji yu UCSA kuang jia de ling zhi shi zheng ming xie yi yan zheng / 王正才著 , |
|
ISBN:
|
978-7-5643-8784-6 价格： CNY58.00 |
|
语种:
|
chi |
|
载体形态:
|
166页 图 23cm |
|
出版发行:
|
出版地： 成都 出版社： 西南交通大学出版社 出版日期： 2022.07 |
|
内容提要:
|
本书针对目前安全协议中存在的不具有实用性或过于复杂等问题，以UC安全属性作为主要对象，研究ZK协议及对它的形式化甚至自动化进行分析验证，主要工作有：研究UC模型的可描述性及UC模型中协议模块化设计与分析方法，利用UC模型分析密码协议的安全性，主要是利用协议仿真严格证明协议是否能安全实现特定安全任务；研究通用可组合零知识证明协议，可规约到通用可组合不经意传输(UCOT)协议的实现；研究基于零知识证明的通用可组合形式化分析模型的扩展和形式化分析。 |
|
主题词:
|
信息安全 通信协议 |
|
中图分类法:
|
TP393.08 版次： 5 |
|
主要责任者:
|
王正才 wang zheng cai 著 |