沈阳工业大学图书馆书目检索系统

| 暂存书架(0) | 登录

MARC状态:审校 文献类型:中文图书 浏览次数:19

题名/责任者:
网络安全协议的形式化分析与验证/李建华主编
出版发行项:
北京:机械工业出版社,2010
ISBN及定价:
978-7-111-29726-0/CNY27.00
载体形态项:
11,214页;26cm
个人责任者:
李建华 (计算机) 主编
学科主题:
计算机网络-安全技术-通信协议-高等学校-教材
学科主题:
计算机网络
学科主题:
通信协议
中图法分类号:
TP393.08
一般附注:
高等院校信息安全专业规划教材
提要文摘附注:
本书概述了形式化技术在网络安全协议分析、验证中的主要应用原理及现状;在此基础上详细地叙述了网络安全协议的形式化分析技术、形式化设计技术;最后重点介绍了目前的形式化分析技术对当前典型应用环境下复杂、实用网络安全协议的分析成果,包括IPSec协议、SSL协议、电子商务协议、移动通信安全协议及群组通信安全协议等。
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态 还书位置
TP393.08/096 90894977  - 下架二线库二     非可借 下架二线库二
TP393.08/096 90894973  - 自然科学阅览室三     可借 自然科学阅览室三
TP393.08/096 90894974  - 自然科学阅览室三     可借 自然科学阅览室三
TP393.08/096 90894976  - 自然科学阅览室三     可借 自然科学阅览室三
TP393.08/096 90894971  - 下架二线库一     可借
TP393.08/096 90894972  - 下架二线库一     可借
TP393.08/096 90894975  - 下架二线库一     可借
显示全部馆藏信息
借阅趋势

同名作者的其他著作(点击查看)
用户名:
密码:
验证码:
请输入下面显示的内容
  证件号 条码号 Email
 
姓名:
手机号:
送 书 地:
收藏到: 管理书架