《网络安全协议的形式化分析》 - 付玉龙 - 西安电子科技大学出版社 - 香港大書城

	登入帳戶　 \|　訂單查詢　 \|　購物車/收銀台(0)　\|　在線留言板　 \|　付款方式　 \|　運費計算　 \|　聯絡我們　 \|　幫助中心　\|　加入書簽
		會員登入新用戶登記

HOME

新書上架

暢銷書架

好書推介

2024年度TOP

臺灣用戶

品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心

服務：香港／台灣／澳門／海外

送貨：速遞／郵局／服務站

新書上架：簡體書繁體書
暢銷書架：簡體書繁體書
好書推介：簡體書繁體書

『簡體書』网络安全协议的形式化分析

書城自編碼： 4111712
分類：簡體書→大陸圖書→計算機/網絡→網絡與數據通信
作者：付玉龙
國際書號(ISBN)： 9787560675176
出版社：西安电子科技大学出版社
出版日期： 2025-04-01

頁數/字數： /
書度/開本： 16开釘裝：平装

售價：HK$ 46.2

我要買件

** 我創建的書架 **
未登入.

新書推薦：

《明仕录（真实还原明代精致生活）》
售價：HK$ 218.9

《文心雕龙义证（全四册）》
售價：HK$ 349.8

《归零（影帝收割机安东尼·麦卡滕新作）》
售價：HK$ 86.9

《国史大纲（上下册）（简体字版）》
售價：HK$ 107.8

《长寿：逆转和延缓衰老的科学饮食（上下册）》
售價：HK$ 184.8

《安史之乱：历史、宣传与神话（40幅插图，深度还原安史之乱重要战事）》
售價：HK$ 151.8

《亚伯拉罕的行李：中世纪印度洋世界的饮食、日用与旅行技艺》
售價：HK$ 129.8

《中国历代文论要略（全三册）》
售價：HK$ 154.0

建議一齊購買：

HK$ 79.4
《课程思政——电子信息类专业课程设计与实践》

HK$ 112.7
《深入浅出5G核心网技术》

HK$ 108.6
《网络工程设计与实施综合实训》

HK$ 107.8
《大数据之路2：数据更普惠，商业更智能》

HK$ 147.2
《妙趣横生的游戏制作之旅》

HK$ 108.9
《MCP协议与AI Agent开发：标准、应用与实现》

內容簡介：

本书系统地讲解了利用形式化方法对网络协议及系统进行安全性分析的原理、流程和典型工具，结合科研实例深入浅出地介绍了形式化安全方法的范畴、类型和使用技巧。全书内容密切围绕国家安全战略需求，紧跟时代发展，是对多年来该领域的科学研究与工程实践中基本原理与共性技术的归纳总结。本书分为三个单元，共8章。第一单元（第1～4章）主要介绍网络协议形式化安全分析方法的相关基础知识，包括绪论、离散数学基础知识、密码学基础知识、协议工程与软件工程基础知识等内容，明确了采用形式化方法对计算机系统中网络协议和软件的安全性进行分析的主要步骤，以及形式化安全方法发展的历史和趋势。第二单元（第5～7章）主要介绍现有的网络协议形式化安全分析方法，系统地讲解了相关方法在确保通信协议和软件实现的安全性方面的关键应用，包括基于演绎推理和自动机模型的形式化安全方法和基于进程演算的形式化方法。第三单元（第8章）主要介绍通信软件安全性的形式化验证实例，展示了形式化方法在实际安全应用中的具体实施和效果。
本书适合作为高等院校网络空间安全、信息安全专业或其他相关专业本科生和研究生的教材，也可供相关领域的科研人员参考。

書城介紹　 \|　合作申請　\|　索要書目　 \|　新手入門　\|　聯絡方式　 \|　幫助中心　\|　找書說明　 \|　送貨方式　\|　付款方式	香港用户　 \|　台灣用户　\|　海外用户

	megBook.com.hk
Copyright © 2013 - 2025 （香港）大書城有限公司　 All Rights Reserved.