机读格式显示(MARC)

• 000 01776nam 2200337 450

• 001 0000823156

• 005 20250819144900.0

• 010 __ |a 978-7-5606-7517-6 |d CNY42.00

• 100 __ |a 20250520d2025 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 610000

• 105 __ |a ak a 000yy

• 106 __ |a r

• 200 1_ |a 网络安全协议的形式化分析 |A wang luo an quan xie yi de xing shi hua fen xi |f 付玉龙 ... [等] 编著

• 210 __ |a 西安 |c 西安电子科技大学出版社 |d 2025

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

• 225 2_ |a 新一代信息技术 (网络空间安全) 系列丛书 |A xin yi dai xin xi ji shu (wang luo kong jian an quan) xi lie cong shu

• 304 __ |a 题名页题其余责任者: 曹进, 李晖, 蔺如嫣

• 312 __ |a 英文题名取自封面

• 320 __ |a 有书目 (第238-240页)

• 330 __ |a 本书共分为三个单元。共8章, 第一单元 (第1-4章) 主要介绍网络协议形式化安全分析方法的相关基础知识, 包括绪论、离散数学基础知识、密码学基础知识、协议工程与软件工程基础知识等内容, 明确了采用形式化方法对计算机系统中网络协议和软件的安全性进行分析的主要步骤, 以及形式化安全方法发展的历史和趋势。第二单元 (第5-7章) 主要介绍现有的网络协议形式化安全分析方法, 系统地讲解了相关方法在确保通信协议和软件实现的安全性方面的关键应用, 包括基于演绎推理和自动机模型的形式化安全方法和基于进程演算的形式化方法。第三单元 (第8章) 主要介绍通信软件安全性的形式化验证实例, 展示形式化方法在实际安全应用中的具体实施和效果。

• 410 _0 |1 2001 |a 新一代信息技术 (网络空间安全) 系列丛书

• 510 1_ |a Formal analysis of network security protocols |z eng

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

• 690 __ |a TP393.08 |v 5

• 701 _0 |a 付玉龙 |A fu yu long |4 编著

• 701 _0 |a 曹进 |A cao jin |4 编著

• 701 _0 |a 李晖 |A li hui |4 编著

• 701 _0 |a 蔺如嫣 |A lin ru yan |4 编著

• 801 _0 |a CN |b WFKJXY |c 20250819

• 905 __ |a WFKJXY |d TP393.08/525