机读格式显示(MARC)

• 000 01179nam0 2200253 450

• 001 0000890792

• 005 20230524100700.0

• 010 __ |a 978-7-5643-8784-6 |d CNY58.00

• 100 __ |a 20230220d2022 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 510000

• 105 __ |a y a 000yy

• 106 __ |a r

• 200 1_ |a 基于UCSA框架的零知识证明协议验证 |A ji yu UCSA kuang jia de ling zhi shi zheng ming xie yi yan zheng |f 王正才著

• 210 __ |a 成都 |c 西南交通大学出版社 |d 2022

• 215 __ |a 166页 |d 23cm

• 320 __ |a 有书目 (第154-166页)

• 330 __ |a 本书针对目前安全协议中存在的不具有实用性或过于复杂等问题，以UC安全属性作为主要对象，研究ZK协议及对它的形式化甚至自动化进行分析验证，主要工作有：研究UC模型的可描述性及UC模型中协议模块化设计与分析方法，利用UC模型分析密码协议的安全性，主要是利用协议仿真严格证明协议是否能安全实现特定安全任务；研究通用可组合零知识证明协议，可规约到通用可组合不经意传输(UCOT)协议的实现；研究基于零知识证明的通用可组合形式化分析模型的扩展和形式化分析。

• 606 0_ |a 信息安全 |A xin xi an quan |x 通信协议 |x 研究

• 690 __ |a TP393.08 |v 5

• 701 _0 |a 王正才 |A wang zheng cai |4 著

• 801 _0 |a CN |b HDUL |c 20230413

• 905 __ |a HDUL |d TP393.08/1142

• 920 __ |a 233030 |z 1