书目详细信息
： 网络安全协议的形式化分析与验证
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-111-29726-0:CNY27.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 110000 |
| 题名责任者项： | 网络安全协议的形式化分析与验证/.李建华主编 |
| 出版发行项： | 北京:,机械工业出版社:,2010.4 |
| 载体形态项： | 214页:;+图:;+26cm |
| 一般附注： | 高等院校信息安全专业规划教材 |
| 提要文摘： | 信息安令是关系到国家安令和经济发展的重大战略问题，至关重要。安全协议作为实现信息安全的基础，其自身的安全性问题已成为安全争研究的重要内容。目前，针对安令协议的安全性验证已形成了许多不同的流派、理论和方法。 |
| 题名主题： | 计算机网络 安全技术 通信协议 |
| 中图分类： | TP393.08 |
| 个人名称等同： | 李建华 主编 |