登入帳戶　 |　訂單查詢　 |　購物車/收銀台(0)　|　在線留言板　 |　付款方式　 |　聯絡我們　 |　運費計算　 |　幫助中心　|　 加入書簽
	全部範圍 - 圖書 - 　- 中文簡體書(大陸書) - 　- 英文書（原版） - - 音碟 - 　- 音樂 - 　- 影視 - - 雜誌 - 全文 精確	會員登入   新用戶註冊

HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2024年度TOP分類閱讀雜誌

香港／國際用戶

最新/最熱/最齊全的簡體書網

品種：超過100萬種書，正品正价，放心網購，悭钱省心

送貨：速遞 / 物流，時效：出貨後2-4日

新書推薦： 《 丝与茶：18世纪亚洲商品在斯堪的纳维亚 》 售價：NT$ 490.0 《 不可思议的树：一本可触摸的纸上年轮博物馆 》 售價：NT$ 429.0 《 中国蝉科图谱 》 售價：NT$ 559.0 《 清学沉思录 》 售價：NT$ 834.0 《 我的前半生（末代皇帝爱新觉罗·溥仪亲笔自传） 》 售價：NT$ 505.0 《 社会正义谬误：机会平等比结果平等更重要 》 售價：NT$ 352.0 《 汗青堂丛书152·草原帝国：阿提拉、成吉思汗与帖木儿 》 售價：NT$ 765.0 《 DK拆解科技大百科 》 售價：NT$ 653.0

建議一齊購買： + NT$ 352 《课程思政——电子信息类专业课程设计与实践》 + NT$ 500 《深入浅出5G核心网技术》 + NT$ 498 《网络工程设计与实施综合实训》 + NT$ 500 《大数据之路2：数据更普惠，商业更智能》 + NT$ 653 《妙趣横生的游戏制作之旅》 + NT$ 505 《MCP协议与AI Agent开发：标准、应用与实现》 內容簡介： 本书系统地讲解了利用形式化方法对网络协议及系统进行安全性分析的原理、流程和典型工具，结合科研实例深入浅出地介绍了形式化安全方法的范畴、类型和使用技巧。全书内容密切围绕国家安全战略需求，紧跟时代发展，是对多年来该领域的科学研究与工程实践中基本原理与共性技术的归纳总结。本书分为三个单元，共8章。第一单元（第1～4章）主要介绍网络协议形式化安全分析方法的相关基础知识，包括绪论、 离散数学基础知识、 密码学基础知识、 协议工程与软件工程基础知识等内容，明确了采用形式化方法对计算机系统中网络协议和软件的安全性进行分析的主要步骤，以及形式化安全方法发展的历史和趋势。第二单元（第5～7章）主要介绍现有的网络协议形式化安全分析方法，系统地讲解了相关方法在确保通信协议和软件实现的安全性方面的关键应用，包括基于演绎推理和自动机模型的形式化安全方法和基于进程演算的形式化方法。第三单元（第8章）主要介绍通信软件安全性的形式化验证实例，展示了形式化方法在实际安全应用中的具体实施和效果。 本书适合作为高等院校网络空间安全、信息安全专业或其他相关专业本科生和研究生的教材，也可供相关领域的科研人员参考。

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