书目详细信息
： 网络安全协议的形式化分析与验证
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-111-29726-0:CNY27.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 110000 |
| 题名责任者项： | 网络安全协议的形式化分析与验证/.李建华主编 |
| 出版发行项： | 北京:,机械工业出版社:,2010 |
| 载体形态项： | 11,214页:;+26cm |
| 一般附注： | 高等院校信息安全专业规划教材 |
| 提要文摘： | 本书概述了形式化技术在网络安全协议分析、验证中的主要应用原理及现状；在此基础上详细地叙述了网络安全协议的形式化分析技术、形式化设计技术；最后重点介绍了目前的形式化分析技术对当前典型应用环境下复杂、实用网络安全协议的分析成果，包括IPSec协议、SSL协议、电子商务协议、移动通信安全协议及群组通信安全协议等。 |
| 题名主题： | 计算机网络 |
| 题名主题： | 通信协议 |
| 题名主题： | 计算机网络 安全技术 通信协议 高等学校 教材 |
| 中图分类： | TP393.08 |
| 个人名称等同： | 李建华 (计算机) 主编 |
| 记录来源： | CN LCDUT-LS 20111005 |