安全协议原理与验证

安全协议原理与验证

王聪, 刘军, 主编

出版社:北京邮电大学出版社

年代:2011

定价:34.0

书籍简介:

本书内容包括安全协议基本原理介绍、安全性分析以及密码学基础;2、安全协议原理,内容包括安全协议概述、经典的密码交换及认证协议、电子商务协议以及应用中的安全协议;3、安全协议的分析与验证方法,内容包括BAN逻辑、BAN类逻辑、Kailar逻辑、CS逻辑、串空间理论及CSP方法等。

书籍目录:

第一部分 基础知识

第1章 引言

第2章 密码学基础

第二部分 安全协议原理

第3章 安全协议概述

第4章 认证与密钥交换协议

第5章 电子商务协议

第6章 实际使用中的的安全协议

第三部分 安全协议的分析、验证方法

第7章 BAN逻辑

第8章 BAN类逻辑

第9章 Kailar逻辑

第10章 时间相关安全协议分析

第11章 串空间模型理论及协议分析方法

第12章 安全协议的CSP分析方法

第13章 其他安全协议分析验证方法

参考文献

内容摘要:

《安全协议原理与验证》包括三个部分:1.基础知识,包括安全协议基本原理介绍、安全性分析以及密码学基础;2.安全协议原理,包括安全协议概述、经典的密码交换及认证协议、电子商务协议以及应用中的安全协议;3.安全协议的分析与验证方法,包括BAN逻辑、BAN类逻辑、Kailar逻辑、CS逻辑、串空间理论及CSP方法等。

编辑推荐:

《安全协议原理与验证》介绍安全协议及其验证方法,主要内容包括三个部分:1.基础知识,包括安全协议基本原理介绍、安全性分析以及密码学基础;2.安全协议原理,包括安全协议概述、经典的密码交换及认证协议、电子商务协议以及应用中的安全协议;3.安全协议的分析与验证方法,包括BAN逻辑、BAN类逻辑、Kailar逻辑、CS逻辑、串空间理论及CSP方法等。

《安全协议原理与验证》较为全面、深入地介绍了信息安全体系中的安全协议原理及安全协议的分析验证方法。内容安排由浅入深,重点突出,涵盖了当前安全协议研究领域的主要成果。

书籍规格:

书籍详细信息
书名安全协议原理与验证站内查询相似图书
9787563526727
如需购买下载《安全协议原理与验证》pdf扫描版电子书或查询更多相关信息,请直接复制isbn,搜索即可全网搜索该ISBN
出版地北京出版单位北京邮电大学出版社
版次1版印次1
定价(元)34.0语种简体中文
尺寸26 × 19装帧平装
页数印数

书籍信息归属:

安全协议原理与验证是北京邮电大学出版社于2011.7出版的中图分类号为 TP393.08 的主题关于 计算机网络-安全技术-通信协议 的书籍。