MARC状态:已编 文献类型:中文图书 浏览次数:56
- 题名/责任者:
- 安全协议原理与验证/王聪 ... [等] 编著
- 出版发行项:
- 北京:北京邮电大学出版社,2011
- ISBN及定价:
- 978-7-5635-2672-7/CNY36.00
- 载体形态项:
- 303页:图;23cm
- 丛编项:
- 普通高校信息安全系列教材
- 个人责任者:
- 王聪 编著
- 个人责任者:
- 刘军 编著
- 个人责任者:
- 王孝国 编著
- 学科主题:
- 计算机网络-安全技术-通信协议-高等学校-教材
- 中图法分类号:
- TP393.08
- 题名责任附注:
- 题名页题: 王聪, 刘军, 王孝国, 于振伟编著.
- 书目附注:
- 有书目 (第301-303页)
- 提要文摘附注:
- 本书介绍安全协议及其验证方法, 主要内容包括三个部分: 基础知识, 包括安全协议基本原理介绍、安全性分析以及密码学基础 ; 安全协议原理, 包括安全协议概述等 ; 安全协议的分析与验证方法, 包括BAN逻辑、BAN类逻辑等。
全部MARC细节信息>>