安全协议原理与验证
安全协议原理与验证作者:王聪 等编著 开 本:16开 书号ISBN:9787563526727 定价:36.0 出版时间:2011-08-01 出版社:北京邮电大学出版社 |
安全协议原理与验证 本书特色
本书内容包括三个部分:1.基础知识,包括安全协议基本原理介绍、安全性分析以及密码学基础;2.安全协议原理,包括安全协议概述、经典的密码交换及认证协议、电子商务协议以及应用中的安全协议;3.安全协议的分析与验证方法,包括ban逻辑、ban类逻辑、kailar逻辑、cs逻辑、串空间理论及csp方法等。
安全协议原理与验证 内容简介
本书介绍安全协议及其验证方法,主要内容包括三个部分:1.基础知识,包括安全协议基本原理介绍、安全性分析以及密码学基础;2.安全协议原理,包括安全协议概述、经典的密码交换及认证协议、电子商务协议以及应用中的安全协议;3.安全协议的分析与验证方法,包括ban逻辑、ban类逻辑、kailar逻辑、cs逻辑、串空间理论及csp方法等。 本书较为全面、深入地介绍了信息安全体系中的安全协议原理及安全协议的分析验证方法。内容安排由浅入深,重点突出,涵盖了当前安全协议研究领域的主要成果。 本书可作为高等院校信息安全、计算机、通信等专业高年级本科生和研究生教材,也可供从事相关专业的教学、科研和工程技术人员参考。
安全协议原理与验证 目录
**部分 基础知识第1章 引言
第2章 密码学基础
第二部分 安全协议原理
第3章 安全协议概述
第4章 认证与密钥交换协议
第5章 电子商务协议
第6章 实际使用中的的安全协议
第三部分 安全协议的分析、验证方法
第7章 ban逻辑
第8章 ban类逻辑
第9章 kailar逻辑
第10章 时间相关安全协议分析
第11章 串空间模型理论及协议分析方法
第12章 安全协议的csp分析方法
工业技术 电子通信 通信 通信保密与通信安全
在线阅读
- 最新内容
- 相关内容
- 网友推荐
- 图文推荐
零零教育社区:论坛热帖子
[高考] 2022 西安电子科技大学《软件工程》大作业答案 (2022-04-25) |
[家长教育] 孩子为什么会和父母感情疏离? (2019-07-14) |
[教师分享] 给远方姐姐的一封信 (2018-11-07) |
[教师分享] 伸缩门 (2018-11-07) |
[教师分享] 回家乡 (2018-11-07) |
[教师分享] 是风味也是人间 (2018-11-07) |
[教师分享] 一句格言的启示 (2018-11-07) |
[教师分享] 无规矩不成方圆 (2018-11-07) |
[教师分享] 第十届全国教育名家论坛有感(二) (2018-11-07) |
[教师分享] 贪玩的小狗 (2018-11-07) |