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

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

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

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

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

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

售價:HK$ 46.2

我要買

share:

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



新書推薦:
稷下先生(稷下学宫的历史探究,稷下先生的故事再现)
《 稷下先生(稷下学宫的历史探究,稷下先生的故事再现) 》

售價:HK$ 74.8
我和她们不一样
《 我和她们不一样 》

售價:HK$ 74.8
衰而不败:在变老的路上,变得更好     [日]畑村洋太郎
《 衰而不败:在变老的路上,变得更好 [日]畑村洋太郎 》

售價:HK$ 54.8
时刻人文·野兽之魂(当代史学大师卡洛·金兹伯格新近力作,不止“微观史学”,展现其历史与哲学思想的多样性)
《 时刻人文·野兽之魂(当代史学大师卡洛·金兹伯格新近力作,不止“微观史学”,展现其历史与哲学思想的多样性) 》

售價:HK$ 64.9
弱关系创富
《 弱关系创富 》

售價:HK$ 63.8
日本的财政危机:摆脱危机的体制机制变革努力,1975~2000
《 日本的财政危机:摆脱危机的体制机制变革努力,1975~2000 》

售價:HK$ 204.6
如何去爱:我们终将获得爱与被爱的能力(告别争吵与内耗,用爱的能力守护亲密关系)
《 如何去爱:我们终将获得爱与被爱的能力(告别争吵与内耗,用爱的能力守护亲密关系) 》

售價:HK$ 74.8
日本与德国:两种战后思想(历史学堂)
《 日本与德国:两种战后思想(历史学堂) 》

售價:HK$ 52.8

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

 

 

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