幫助中心 | 我的帳號 | 關於我們
進階搜尋
car

同類熱銷排行榜

最近瀏覽的商品

安全協議操作語義與驗證(網路空間安全)/經典譯叢

  • 作者：(瑞士)卡斯·克雷默斯//(盧森堡)肖克·毛弗|譯者:吳漢煒
  • 出版社：電子工業
  • ISBN：9787121351952
  • 出版日期：2018/11/01
  • 裝幀：平裝
  • 頁數：137
人民幣：RMB 59 元      售價：元
放入購物車
加入收藏夾
內容大鋼
    安全協議作為信息安全的重要基礎之一，其安全屬性能否達到設計者的初始目標成為一個重要研究內容，關係到依賴於協議的上層應用系統的安全性。卡斯·克雷默斯，肖克·毛弗著的《安全協議操作語義與驗證（網路空間安全）》的內容主要涵蓋兩部分：用形式化的語義定義協議的執行規格和安全屬性，精確表示安全協議的安全屬性；綜合運用各種形式化方法設計一個高效的驗證演算法，在可接受的時間內驗證安全屬性。本書還探討了多協議安全分析，比較分析了各種驗證理論和發展趨勢。
    本書可作為高等院校信息安全、電腦和通信等專業的教學參考書，也可供從事相關專業的教學、科研和工程技術人員參考。
作者介紹
(瑞士)卡斯·克雷默斯//(盧森堡)肖克·毛弗|譯者:吳漢煒
目錄
第1章  背景介紹
  1.1  歷史背景
  1.2  基於黑盒的安全協議分析
  1.3  目的與方法
  1.4  概要
    1.4.1  協議分析模型
    1.4.2  模型的應用
第2章  預備知識
  2.1  集合與關係
  2.2  巴科斯範式
  2.3  符號變遷系統
第3章  操作語義
  3.1  問題域分析
  3.2  安全協議規範
    3.2.1  角色項
    3.2.2  協議規範
    3.2.3  事件次序
  3.3  協議執行描繪
    3.3.1  回合
    3.3.2  匹配
    3.3.3  回合事件
    3.3.4  威脅模型
  3.4  操作語義
  3.5  協議規範實例
  3.6  思考題
第4章  安全屬性
  4.1  安全斷言事件屬性
  4.2  機密性
  4.3  認證
    4.3.1  存活性
    4.3.2  同步一致性
    4.3.3  非單射同步一致性
    4.3.4  單射同步一致性
    4.3.5  消息一致性
  4.4  認證繼承關係
  4.5  對NS協議的攻擊和改進
  4.6  總結
  4.7  思考題
第5章  驗證
  5.1  模式
  5.2  驗證演算法
    5.2.1  良構模式
    5.2.2  可達模式
    5.2.3  空模式和冗余模式
    5.2.4  演算法概述
    5.2.5  模式精煉
  5.3  搜索空間遍歷實例
  5.4  使用模式精煉驗證安全屬性
  5.5  啟髮式演算法和參數選擇
    5.5.1  啟髮式演算法

    5.5.2  選擇一個合適的回合數
    5.5.3  性能
  5.6  驗證單射性
    5.6.1  單射同步一致性
    5.6.2  LOOP循環屬性
    5.6.3  模型假設
  5.7  更多Scyther分析系統的特性
  5.8  思考題
第6章  多協議攻擊
  6.1  多協議攻擊概述
  6.2  實驗
  6.3  測試結果
    6.3.1  嚴格類型匹配：無類型缺陷
    6.3.2  簡單類型匹配：基本類型缺陷
    6.3.3  無類型匹配：所有類型缺陷
    6.3.4  攻擊例子
  6.4  攻擊場景
    6.4.1  協議更新
    6.4.2  歧義性身份驗證
  6.5  預防多協議攻擊
  6.6  總結
  6.7  思考題
第7章  基於NSL擴展的多方認證
  7.1  一個多方身份認證協議
  7.2  安全分析
    7.2.1  初步檢測
    7.2.2  正確性證明
    7.2.3  角色的隨機數機密性
    7.2.4  初始化角色的非單射同步一致性
    7.2.5  非初始化角色的隨機數機密性
    7.2.6  非初始化角色的非單射同步一致性
    7.2.7  所有角色的單射同步一致性
    7.2.8  類型缺陷攻擊
    7.2.9  消息最小化
  7.3  模式變體
  7.4  弱多方認證協議
  7.5  思考題
第8章  歷史背景和進階閱讀
  8.1  歷史背景
    8.1.1  模型
    8.1.2  早期分析工具
    8.1.3  邏輯
    8.1.4  驗證工具
    8.1.5  多協議攻擊
    8.1.6  複雜度分析
    8.1.7  符號化模型和計算模型之間的差異
    8.1.8  消除安全分析和代碼實現之間的差異
  8.2  可選方法
    8.2.1  建模框架
    8.2.2  安全屬性

    8.2.3  驗證工具
參考文獻

  • 商品搜索：
  • | 高級搜索
首頁│ 新手上路│ 客服中心│ 關於我們│ 聯絡我們│ Top↑│
Copyrightc 1999~2008 美商天龍國際圖書股份有限公司 臺灣分公司. All rights reserved.
營業地址:臺北市中正區重慶南路一段103號1F 105號1F-2F
讀者服務部電話：02-2381-2033 02-2381-1863　時間：週一-週五 10:00-17:00
　服務信箱：bookuu@69book.com 客戶、意見信箱:cs@69book.com
ICP證：浙B2-20060032