MARC状态：审校 文献类型：中文图书 浏览次数：8
- 题名/责任者:
- 安全协议原理与验证/王聪[等]编著
- 出版发行项:
- 北京:北京邮电大学出版社,2011
- ISBN及定价:
- 978-7-5635-2672-7/CNY36.00
- 载体形态项:
- 10,303页;23cm
- 个人责任者:
- 王聪 编著
- 学科主题:
- 计算机网络-安全技术-通信协议-高等学校-教材
- 中图法分类号:
- TP393.08
- 一般附注:
- 普通高校信息安全系列教材
- 题名责任附注:
- 编著还有：刘军、王孝国、于振伟
- 提要文摘附注:
- 本书由基础知识、安全协议原理、安全协议的分析及验证方法三部分组成。涉及安全协议基本原理介绍、安全性分析以及密码学基础；安全协议概述、经典的密码交换及认证协议、电子商务协议以及应用中的安全协议；安全协议的分析与验证方法，包括BAN逻辑、BAN类逻辑、Kailar逻辑、CS逻辑、串空间理论及CSP方法等内容。
全部MARC细节信息>>