基于UCSA框架的零知识证明协议验证

收藏
  • 【作者】王正才
  • 【关键词】信息安全 通信协议 研究
  • 【出版社】西南交通大学出版社
  • 【出版日期】2022.07
  • 【ISBN】978-7-5643-8784-6
  • 【中图分类号】 TP393.08
  • 【内容简介】本书针对目前安全协议中存在的不具有实用性或过于复杂等问题,以UC安全属性作为主要对象,研究ZK协议及对它的形式化甚至自动化进行分析验证,主要工作有:研究UC模型的可描述性及UC模型中协议模块化设计与分析方法,利用UC模型分析密码协议的安全性,主要是利用协议仿真严格证明协议是否能安全实现特定安全任务;研究通用可组合零知识证明协议,可规约到通用可组合不经意传输(UCOT)协议的实现;研究基于零知识证明....全部展开
  • 【页码】166页
  • 【文献类型】图书
  • 【所属馆】

    浙江图书馆

  • 【获取途径】 文献传递
联合资源统一检索系统 超星 V2.0
已保存的题录(0)
选出输出字段:
加载保存列表...
清空文件夹
注:
通过勾选,使对应参与检索,从而可以轻松获得更全面的检索结果。