- 安全协议原理与验证(第2版高等院校网络空间安全系列规划教材)
- - 作者：编者:王聪//黄山|责编:马晓仟
  - 出版社：北京邮电大学
  - ISBN：9787563574896
  - 出版日期：2025/01/01
  - 页数：243
- 售价：19.6

内容大纲
    本书介绍安全协议及其验证方法，主要内容包括四部分：第一部分为基础知识，包括安全协议基本原理介绍、安全性分析以及密码学基础；第二部分为安全协议原理，包括安全协议概述、认证与密钥交换协议、电子商务协议以及实际使用中的安全协议；第三部分为安全协议的分析、验证方法，包括BAN逻辑、BAN类逻辑、Kailar逻辑、CS逻辑和串空间模型理论等；第四部分为安全协议前沿技术研究简介，包括前沿计算领域中的安全协议、安全协议硬件卸载和人工智能与安全协议。
    本书较为全面、深入地介绍了信息安全体系中的安全协议原理及安全协议的分析、验证方法。内容安排由浅入深，重点突出，涵盖了当前安全协议研究领域的主要成果。
    本书可作为高等院校信息安全、计算机、通信等专业高年级本科生和研究生的教材，也可供从事相关专业的教学、科研和工程技术人员参考。
作者介绍
目录
第一部分  基础知识
  第1章  引言
    1.1  安全协议的研究背景、基本概念
      1.1.1  安全协议的研究背景
      1.1.2  安全协议的基本概念
    1.2  安全协议的安全属性分析
      1.2.1  秘密性
      1.2.2  认证性
      1.2.3  完整性
      1.2.4  不可否认性
      1.2.5  公平性
      1.2.6  原子性
      1.2.7  匿名性
    1.3  安全协议的形式化分析技术概述
      1.3.1  安全协议形式化分析方法概述
      1.3.2  基于知识与信仰的逻辑推理方法
      1.3.3  基于代数模型的状态检验方法
      1.3.4  基于不变集的代数定理证明方法
    1.4  本书的结构
  第2章  密码学基础
    2.1  密码学概述
      2.1.1  密码学的发展过程
      2.1.2  密码学的基本概念
    2.2  密码体制
    2.3  对称密钥密码体制
      2.3.1  代换密码
      2.3.2  数据加密标准
      2.3.3  高级加密标准
    2.4  公钥密码体制
      2.4.1  单向陷门函数
      2.4.2  RSA密码体制
      2.4.3  MH背包体制
    2.5  数字签名
      2.5.1  数字签名的基本概念
      2.5.2  数字签名方案
      2.5.3  RSA数字签名
    2.6  哈希函数
      2.6.1  哈希函数的基本概念
      2.6.2  几种常用哈希函数介绍
    2.7  本章小结
    习题
      第二部分  安全协议原理
  第3章  安全协议概述
    3.1  概述
    3.2  安全协议分类
    3.3  安全协议的缺陷
    3.4  安全协议的威胁模型
    3.5  针对安全协议的攻击
      3.5.1  重放攻击
      3.5.2  中间人攻击

      3.5.3  并行会话攻击
      3.5.4  反射攻击
      3.5.5  交错攻击
      3.5.6  类型缺陷攻击
      3.5.7  姓名遗漏攻击
    3.6  安全协议的设计原则
    3.7  本章小结
    习题
  第4章  认证与密钥交换协议
    4.1  无可信第三方的对称密钥协议
      ……
第三部分  安全协议的分析、验证方法
第四部分  安全协议前沿技术研究简介
参考文献

内容大纲

作者介绍

目录

同类热销排行榜

推荐书目