登入帳戶　 |　訂單查詢　 |　購物車/收銀台(0)　|　在線留言板　 |　付款方式　 |　運費計算　 |　聯絡我們　 |　幫助中心　|　 加入書簽
會員登入   新用戶登記
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2024年度TOP分類瀏覽雜誌 臺灣用戶
品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心 服務：香港／台灣／澳門／海外 送貨：速遞／郵局／服務站

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

六月出版：大陸書 台灣書
五月出版：大陸書 台灣書
四月出版：大陸書 台灣書
三月出版：大陸書 台灣書
二月出版：大陸書 台灣書
一月出版：大陸書 台灣書
12月出版：大陸書 台灣書
11月出版：大陸書 台灣書
十月出版：大陸書 台灣書
九月出版：大陸書 台灣書
八月出版：大陸書 台灣書
七月出版：大陸書 台灣書
六月出版：大陸書 台灣書
五月出版：大陸書 台灣書
四月出版：大陸書 台灣書

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

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

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

售價：HK$ 46.2

我要買 件

share:

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


新書推薦：
人间椅子 江户川乱步代表作
《 人间椅子 江户川乱步代表作 》
售價：HK$ 49.5
奇特的一生（精装典藏2025版）
《 奇特的一生（精装典藏2025版） 》
售價：HK$ 61.6
德国天才（上下册）
《 德国天才（上下册） 》
售價：HK$ 217.8
适度工作：活出不被职业定义的人生
《 适度工作：活出不被职业定义的人生 》
售價：HK$ 65.8
宫崎骏出发点
《 宫崎骏出发点 》
售價：HK$ 96.8
地下结构抗震设计理论与方法
《 地下结构抗震设计理论与方法 》
售價：HK$ 294.8
1848：欧洲革命之年
《 1848：欧洲革命之年 》
售價：HK$ 196.9
克林索尔的最后一个夏天（精装刷边版，黑塞自传式小说）
《 克林索尔的最后一个夏天（精装刷边版，黑塞自传式小说） 》
售價：HK$ 49.5

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

 

 

書城介紹　 |　合作申請　|　索要書目　 |　新手入門　|　聯絡方式　 |　幫助中心　|　找書說明　 |　送貨方式　|　付款方式 香港用户　 |　台灣用户　|　海外用户
megBook.com.hk
Copyright © 2013 - 2025 （香港）大書城有限公司　 All Rights Reserved.