潍坊科技学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

网络安全协议的形式化分析/付玉龙 ... [等] 编著

出版发行项:

西安:西安电子科技大学出版社,2025

ISBN及定价:

978-7-5606-7517-6/CNY42.00

载体形态项:

240页:图;26cm

并列正题名:

Formal analysis of network security protocols

丛编项:

新一代信息技术 (网络空间安全) 系列丛书

个人责任者:

付玉龙 编著

个人责任者:

曹进 编著

个人责任者:

李晖 编著

个人责任者:

蔺如嫣 编著

学科主题:

计算机网络-安全技术-通信协议

中图法分类号:

TP393.08

题名责任附注:

题名页题其余责任者: 曹进, 李晖, 蔺如嫣

相关题名附注:

英文题名取自封面

书目附注:

有书目 (第238-240页)

提要文摘附注:

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

豆瓣简介：