机读格式显示(MARC)

• 000 01344nam 2200301 450

• 001 0000686545

• 005 20101113100000.0

• 010 __ |a 978-7-111-29726-0 |d CNY27.00

• 099 __ |a CAL 012010120590

• 100 __ |a 20100518d2010 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a ak a 000yy

• 106 __ |a r

• 200 1_ |a 网络安全协议的形式化分析与验证 |A wang luo an quan xie yi de xing shi hua fen xi yu yan zheng |f 主编李建华

• 210 __ |a 北京 |c 机械工业出版社 |d 2010

• 215 __ |a 214页 |c 图 |d 26cm

• 225 2_ |a 高等院校信息安全专业规划教材 |A gao deng yuan xiao xin xi an quan zhuan ye gui hua jiao cai

• 320 __ |a 有书目 (第208-214页)

• 330 __ |a 本书概述了形式化技术在网络安全协议分析、验证中的主要应用原理及现状；在此基础上详细地叙述了网络安全协议的形式化分析技术、形式化设计技术；最后重点介绍了目前的形式化分析技术对当前典型应用环境下复杂、实用网络安全协议的分析成果，包括IPSec协议、SSL协议、电子商务协议、移动通信安全协议及群组通信安全协议等。

• 333 __ |a 信息安全专业高年级本科生，高等学校电子信息类、计算机类等相关专业师生

• 410 _0 |1 2001 |a 高等院校信息安全专业规划教材

• 606 0_ |a 计算机网络 |A ji suan ji wang luo |x 安全技术 |x 通信协议 |x 高等学校 |j 教材

• 690 __ |a TP393.08 |v 4

• 701 _0 |a 李建华 |A li jian hua |4 主编

• 801 _0 |a CN |b TJU |c 20100518

• 905 __ |a JHUD |d TP393.08/376

• 920 __ |a 242450 |z 1