返回首页
苏宁会员
购物车 0
易付宝
手机苏宁

服务体验

店铺评分与同行业相比

用户评价:----

物流时效:----

售后服务:----

  • 服务承诺: 正品保障
  • 公司名称:
  • 所 在 地:

  • 基于UCSA框架的零知识证明协议验证 王正才 著 大中专 文轩网
  • 新华书店正版
    • 作者: 王正才著
    • 出版社: 西南交通大学出版社
    • 出版时间:2022-07-01 00:00:00
    送至
  • 由""直接销售和发货,并提供售后服务
  • 加入购物车 购买电子书
    服务

    看了又看

    商品预定流程:

    查看大图
    /
    ×

    苏宁商家

    商家:
    文轩网图书旗舰店
    联系:
    • 商品

    • 服务

    • 物流

    搜索店内商品

    商品分类

         https://product.suning.com/0070067633/11555288247.html

     

    商品参数
    • 作者: 王正才著
    • 出版社:西南交通大学出版社
    • 出版时间:2022-07-01 00:00:00
    • 版次:1
    • 印次:1
    • 印刷时间:2022-07-01
    • 字数:151000
    • 页数:352
    • 开本:32开
    • 装帧:平装
    • ISBN:9787564387846
    • 国别/地区:中国
    • 版权提供:西南交通大学出版社

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

    作  者:王正才 著
    定  价:58
    出 版 社:西南交通大学出版社
    出版日期:2022年07月01日
    页  数:352
    装  帧:平装
    ISBN:9787564387846
    主编推荐

    内容简介

    本书为专著,致力于计算机信息安全协议的研究。针对目前安全协议中存在的不具有实用性或过于复杂等问题,本书以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展望
    参考文献

    售后保障

    最近浏览

    猜你喜欢

    该商品在当前城市正在进行 促销

    注:参加抢购将不再享受其他优惠活动

    x
    您已成功将商品加入收藏夹

    查看我的收藏夹

    确定

    非常抱歉,您前期未参加预订活动,
    无法支付尾款哦!

    关闭

    抱歉,您暂无任性付资格

    此时为正式期SUPER会员专享抢购期,普通会员暂不可抢购