书目信息 机读格式(MARC)
网络安全协议的形式化分析
| ISBN/价格： | 978-7-5606-7517-6:CNY42.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 610000 |
| 题名责任者项： | 网络安全协议的形式化分析/.付玉龙[等]编著 |
| 出版发行项： | 西安:,西安电子科技大学出版社:,2025.04 |
| 载体形态项： | 240页:;+图:;+26cm |
| 丛编项： | 新一代信息技术(网络空间安全)系列丛书 |
| 提要文摘： | 本书共分为三个单元。共8章，第一单元(第1-4章)主要介绍网络协议形式化安全分析方法的相关基础知识，包括绪论、离散数学基础知识、密码学基础知识、协议工程与软件工程基础知识等内容，明确了采用形式化方法对计算机系统中网络协议和软件的安全性进行分析的主要步骤，以及形式化安全方法发展的历史和趋势。第二单元(第5-7章)主要介绍现有的网络协议形式化安全分析方法，系统地讲解了相关方法在确保通信协议和软件实现的安全性方面的关键应用，包括基于演绎推理和自动机模型的形式化安全方法和基于进程演算的形式化方法。第三单元(第8章)主要介绍通信软件安全性的形式化验证实例，展示形式化方法在实际安全应用中的具体实施和效果。 |
| 并列题名： | Formal analysis of network security protocols eng |
| 题名主题： | 计算机网络 安全技术 通信协议 |
| 中图分类： | TP393.08 |
| 个人名称等同： | 付玉龙 编著 |
| 记录来源： | CN LCTBU 20251009 |