安全协定原理与验证 _生活百科

文章插图
安全协定原理与验证【安全协定原理与验证】《安全协定原理与验证》是2011年北京邮电大学出版社出版的图书，作者是王聪。
基本介绍书名：安全协定原理与验证
作者：王聪
ISBN：9787563526727, 7563526722
类别：普通高校信息安全系列教材
页数：303页
出版社：北京邮电大学出版社
出版时间：2011年8月1日
装帧：平装
开本：16
内容简介《安全协定原理与验证》介绍安全协定及其验证方法，主要内容包括三个部分：1.基础知识，包括安全协定基本原理介绍、安全性分析以及密码学基础；2.安全协定原理，包括安全协定概述、经典的密码交换及认证协定、电子商务协定以及套用中的安全协定；3.安全协定的分析与验证方法，包括BAN逻辑、BAN类逻辑、Kailar逻辑、CS逻辑、串空间理论及CSP方法等。主要介绍安全协定及其验证方法。《安全协定原理与验证》较为全面、深入地介绍了信息安全体系中的安全协定原理及安全协定的分析验证方法。内容安排由浅入深，重点突出，涵盖了当前安全协定研究领域的主要成果。《安全协定原理与验证》可作为高等院校信息安全、计算机、通信等专业高年级本科生和研究生教材，也可供从事相关专业的教学、科研和工程技术人员参考。目录第一部分基础知识第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 数据加密标準DES2.3.3 高级数据加密标準AES2.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 交错攻击……第4章认证与密钥交换协定第5章电子商务协定第6章实际使用中的的安全协定第三部分安全协定的分析、验证方法第7章 BAN逻辑第8章 BAN类逻辑第9章 Kailar逻辑第10章时间相关安全协定分析第11章串空间模型理论及协定分析方法第12章安全协定的CSP分析方法第13章其他安全协定分析验证方法参考文献