网上购物 货比三家
女用仿真 戏曲 惠氏 复印机 牛仔裤 等离子电视 明治 国产表店 数码伴侣 男根套环 充气娃娃 女鞋 电影/戏剧 电池/充电器 扫描仪/扫描枪 液晶电视

全部商品分类

热搜：
保湿加湿器诺基亚
您现在的位置：快乐比价网 > 图书 > 计算机与网络 > 安全与加密 > 商品详情

密码协议形式化分析

分享到：
密码协议形式化分析

最 低 价：￥20.00

定 价：￥29.00

作 者：王亚弟、束妮娜、韩继红、王娜 著

出 版 社：机械工业出版社

出版时间：2006-7-1

I S B N： 9787111192299

  • 价格比较
  • 商品详情
  • 商品评论(0条)
  • 密码协议形式化分析
  • 送货上门
    • 价格
    20.00元
  • 密码协议形式化分析
  • 送货上门
    • 价格
    20.30元
  • 密码协议形式化分析
  • 送货上门
    • 价格
    23.20元
  • 密码协议形式化分析
  • 送货上门
    • 价格
    26.10元

    商品详情

    编辑推荐
    本书对现在国内外最新的密码协议形成化分析方法与设计准则进行了比较详细的论述，建立了完整而系统密码协议研究理论，并介绍了当前最为流行的几个协议的实现方法。
    全书共8章，分别介绍了密码协议所涉及的密码学基础知识，密码协议的概念、缺陷与可能受到的攻击类型，现有的一些密码协议形式化分析方法，密码协议的设计准则，密码协议分析的主要形式化语言和分析工具，kerberos协议、ipsee协议、ssl协议、x.509以及set协议这五个密码协议的实现方法和工作原理。
    本书适合作为高等院校信息安全专业本科生、研究生使用，也可供从事信息安全研究的科技人员参考。书的最后附有相关的参考文献，提供了与本书有关的资料，供有兴趣的读者参考。

    内容简介
    本书对现在国内外最新的密码协议形成化分析方法与设计准则进行了比较详细的论述，建立了完整而系统密码协议研究理论，并介绍了当前最为流行的几个协议的实现方法。
    全书共8章，分别介绍了密码协议所涉及的密码学基础知识，密码协议的概念、缺陷与可能受到的攻击类型，现有的一些密码协议形式化分析方法，密码协议的设计准则，密码协议分析的主要形式化语言和分析工具，Kerberos协议、IPSee协议、SSL协议、X.509以及SET协议这五个密码协议的实现方法和工作原理。
    本书适合作为高等院校信息安全专业本科生、研究生使用，也可供从事信息安全研究的科技人员参考。书的最后附有相关的参考文献，提供了与本书有关的资料，供有兴趣的读者参考。

    作者简介

    目录
    出版说明
    序
    前言
    第一章引论
    第二章密码协议概述
    第三章形式逻辑方法
    第四章模型检测方法
    第五章定理证明方法
    第六章密码协议的设计准则
    第七章密码协议分析主要的形式化语言和分析工具
    第八章几个具体密码协议的实现方法和工作原理
    参考文献

    商品评论（0条）

    暂无评论！

    相关新品推荐

    浏览更多同类商品

    您的浏览历史

    loading 内容加载中，请稍后...
    免责声明:

    本网站为购物搜索引擎,只提供各网站商品及服务信息链接,以商家实际信息为准!

    关于比价网 | 合作网站 | 免责声明 | 联系我们 (京ICP备13007221号-2)
    © 2008-2012 Bijia123.cn. All rights reserved.