机读格式显示(MARC)

• 000 01214nam 2200277 450

• 001 0000377023

• 005 20101213142900.0

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

• 100 __ |a 20100423d2010 em y0chiy0121 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y 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 xi, 214页 |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协议、电子商务协议、移动通信安全协议及群组通信安全协议等。

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

• 606 0_ |a 计算机网络 |A ji suan ji wang luo |x 通信协议 |x 安全技术

• 690 __ |a TP393.08 |v 4

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

• 801 _0 |a CN |b HDUL |c 20101213

• 905 __ |a HDUL |d TP393.08/4123.2

• 920 __ |a 233030 |z 1