同类推荐
-
-
Python程序设计与案例教程
-
¥49.00
-
-
Python语言程序设计教程
-
¥45.00
-
-
树莓派趣学100例
-
¥69.00
-
-
AI数字后期:Stable Diffusion绘画与合成
-
¥79.80
-
-
机器视觉与图像处理基础
-
¥69.00
-
-
C语言不挂科
-
¥99.00
-
-
数据结构与算法:Python语言版
-
¥59.80
-
-
数据结构与算法:Python语言版
-
¥59.80
-
-
After Effects动效制作技巧与案例教程
-
¥89.80
-
-
Animate动画设计与多媒体课件制作:AIGC全彩微…
-
¥69.80
|
|
图书信息
|
|
|
|
网络安全协议的形式化分析
|
| ISBN： | 9787560675176 |
定价： | ￥42.00 |
| 作者： | 付玉龙, 等编著 |
出版社： | 西安电子科技大学出版社 |
| 出版时间： | 2025年04月 |
开本： | 26cm |
中图法： | TP393.08 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
|
|
|
|
|
其它供货商库存合计
|
500
|
|
2025-05-09
|
图书简介 | | 本书系统地讲解了利用形式化方法对网络系统进行安全性分析的原理、流程和典型工具，结合科研实例深入浅出地介绍了形式化安全方法的范畴、类型和使用技巧。全书内容密切围绕国家安全战略需求，紧跟时代发展，是对多年来该领域的科学研究与工程实践中基本原理与共性技术的归纳总结。本书共分为三个单元。第一单元（第1~4章）主要介绍网络协议形式化安全分析方法的相关基础知识，包括绪论、离散数学基础知识、密码学基础知识、协议工程与软件工程基础知识等内容，明确了采用形式化方法对计算机系统中网络协议和软件的安全性进行分析的主要步骤，以及形式化安全方法发展的历史和趋势。第二单元（第5~7章）主要介绍现有的网络协议形式化安全分析方法，系统地讲解了相关方法在确保通信协议和软件实现的安全性方面的关键应用，包括基于演绎推理和自动机模型的形式化安全方法和基于进程演算的形式化方法。第三单元（第8章）主要介绍通信软件安全性的形式化验证实例，展示形式化方法在实际安全应用中的具体实施和效果。本书适合作为高等院校网络空间安全、信息安全专业或其他相关专业本科生和研究生的教材，也供相关领域的科研人员参考。 |
|