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

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

HOME

新書上架

暢銷書架

好書推介

2024年度TOP

臺灣用戶

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

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

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

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

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

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

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

售價：HK$ 46.2

我要買件

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

新書推薦：

《深入理解PyTorch 》
售價：HK$ 174.9

《校园有戏——中小学戏剧教育实践指南》
售價：HK$ 85.8

《资本的扩张》
售價：HK$ 79.2

《中国古代姓氏与避讳起源（学术文库）》
售價：HK$ 107.8

《以色列史：应许之地的现代叙事 | 看世界 | 区域国别史》
售價：HK$ 94.6

《堂吉诃德（插图珍藏版）（全2册）》
售價：HK$ 437.8

《项目管理一本通（故事版）》
售價：HK$ 74.8

《甲骨文丛书·法兰西美食一千年》
售價：HK$ 75.9

內容簡介：

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

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

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