|
题名:
|
网络安全协议的形式化分析 [ 专著] wang luo an quan xie yi de xing shi hua fen xi / 付玉龙[等]编著 , |
|
ISBN:
|
978-7-5606-7517-6 价格： CNY42.00 |
|
语种:
|
chi |
|
载体形态:
|
240页 图 26cm |
|
出版发行:
|
出版地： 西安 出版社： 西安电子科技大学出版社 出版日期： 2025 |
|
内容提要:
|
本书共分为三个单元。共8章，第一单元(第1-4章)主要介绍网络协议形式化安全分析方法的相关基础知识，包括绪论、离散数学基础知识、密码学基础知识、协议工程与软件工程基础知识等内容，明确了采用形式化方法对计算机系统中网络协议和软件的安全性进行分析的主要步骤，以及形式化安全方法发展的历史和趋势。第二单元(第5-7章)主要介绍现有的网络协议形式化安全分析方法，系统地讲解了相关方法在确保通信协议和软件实现的安全性方面的关键应用，包括基于演绎推理和自动机模型的形式化安全方法和基于进程演算的形式化方法。第三单元(第8章)主要介绍通信软件安全性的形式化验证实例，展示形式化方法在实际安全应用中的具体实施和效果。 |
|
主题词:
|
计算机网络 安全技术 |
|
中图分类法:
|
TP393.08 版次： 5 |
|
主要责任者:
|
付玉龙 fu yu long 编著 |