TOP
0
0
進階搜尋

熱搜：

漫畫少年學墨菲定律

、

電影與文化冷戰

、

快速存到一桶金

、

雷驤

、

佛法是科學的終極典範

、

錢買不到的東西

、

新譯六祖壇經

、

DragonMasters 1-23

、

新基本小六法

熱搜： 漫畫少年學墨菲定律、 電影與文化冷戰、 快速存到一桶金、 雷驤、 佛法是科學的終極典範、 錢買不到的東西、 新譯六祖壇經、 DragonMasters 1-23 、 新基本小六法

165反詐騙

即日起~6/30，暑期閱讀書展，好書7折起

縮小範圍

商品類型
簡體書 （1）
商品狀況
可訂購商品 （1）
庫存狀況
無庫存 （1）
商品定價
$200~$399 （1）
出版日期
2018~2019 （1）
裝訂方式
平裝 （1）
作者
(瑞士)卡斯‧克雷默斯、(盧森堡)肖克‧毛弗 （1）
出版社/品牌
電子工業出版社 （1）

三民網路書店 / 搜尋結果

共1筆商品，1/1頁
安全協議操作語義與驗證（簡體書）
滿額折
1.

安全協議操作語義與驗證（簡體書）

作者：(瑞士)卡斯‧克雷默斯; (盧森堡)肖克‧毛弗  出版社：電子工業出版社  出版日：2018/11/13 裝訂：平裝
安全協議作為信息安全的重要基礎之一，其安全屬性能否達到設計者的初始目標成為一個重要研究內容，關係到依賴於協議的上層應用系統的安全性。本書的內容主要涵蓋兩部分：用形式化的語義定義協議的執行規格和安全屬性，精確表示安全協議的安全屬性；綜合運用各種形式化方法設計一個高效的驗證算法，在可接受的時間內驗證安全屬性。本書還探討了多協議安全分析，比較分析了各種驗證理論和發展趨勢。
定價：354 元， 優惠價：87 308
海外經銷商無庫存，到貨日平均30天至45天
  • 共

暢銷榜
客服中心
收藏
會員專區
三民書局
關於我們
門市專區
藝文講座
學習平台
異業合作
圖書採購/編目
人才招募
禮券兌換處
瀏覽器資訊
三民網路書店服務
會員服務條款
資訊安全警語
隱私權政策
新手購書
圖書分類
中國圖書館分類
空中大學購書
好站連結
企業會員專區
加入企業會員
服務條款
會員須知
圖書目錄下載
三民・東大・弘雅三民
小山丘童書(0-6歲)
兒童・青少年(7歲以上)
古籍圖書目錄
古典圖書目錄
畢業禮品