同類熱銷排行榜

安全協議原理與驗證(第2版高等院校網路空間安全系列規劃教材)

作者：編者:王聰//黃山|責編:馬曉仟
出版社：北京郵電大學
ISBN：9787563574896

出版日期：2025/01/01
裝幀：平裝
頁數：243

人民幣：RMB 49 元售價：元

內容大鋼

    本書介紹安全協議及其驗證方法，主要內容包括四部分：第一部分為基礎知識，包括安全協議基本原理介紹、安全性分析以及密碼學基礎；第二部分為安全協議原理，包括安全協議概述、認證與密鑰交換協議、電子商務協議以及實際使用中的安全協議；第三部分為安全協議的分析、驗證方法，包括BAN邏輯、BAN類邏輯、Kailar邏輯、CS邏輯和串空間模型理論等；第四部分為安全協議前沿技術研究簡介，包括前沿計算領域中的安全協議、安全協議硬體卸載和人工智慧與安全協議。
    本書較為全面、深入地介紹了信息安全體系中的安全協議原理及安全協議的分析、驗證方法。內容安排由淺入深，重點突出，涵蓋了當前安全協議研究領域的主要成果。
    本書可作為高等院校信息安全、電腦、通信等專業高年級本科生和研究生的教材，也可供從事相關專業的教學、科研和工程技術人員參考。

作者介紹

編者:王聰//黃山|責編:馬曉仟

第一部分  基礎知識
  第1章  引言
    1.1  安全協議的研究背景、基本概念
      1.1.1  安全協議的研究背景
      1.1.2  安全協議的基本概念
    1.2  安全協議的安全屬性分析
      1.2.1  秘密性
      1.2.2  認證性
      1.2.3  完整性
      1.2.4  不可否認性
      1.2.5  公平性
      1.2.6  原子性
      1.2.7  匿名性
    1.3  安全協議的形式化分析技術概述
      1.3.1  安全協議形式化分析方法概述
      1.3.2  基於知識與信仰的邏輯推理方法
      1.3.3  基於代數模型的狀態檢驗方法
      1.3.4  基於不變集的代數定理證明方法
    1.4  本書的結構
  第2章  密碼學基礎
    2.1  密碼學概述
      2.1.1  密碼學的發展過程
      2.1.2  密碼學的基本概念
    2.2  密碼體制
    2.3  對稱密鑰密碼體制
      2.3.1  代換密碼
      2.3.2  數據加密標準
      2.3.3  高級加密標準
    2.4  公鑰密碼體制
      2.4.1  單向陷門函數
      2.4.2  RSA密碼體制
      2.4.3  MH背包體制
    2.5  數字簽名
      2.5.1  數字簽名的基本概念
      2.5.2  數字簽名方案
      2.5.3  RSA數字簽名
    2.6  哈希函數
      2.6.1  哈希函數的基本概念
      2.6.2  幾種常用哈希函數介紹
    2.7  本章小結
    習題
      第二部分  安全協議原理
  第3章  安全協議概述
    3.1  概述
    3.2  安全協議分類
    3.3  安全協議的缺陷
    3.4  安全協議的威脅模型
    3.5  針對安全協議的攻擊
      3.5.1  重放攻擊
      3.5.2  中間人攻擊

      3.5.3  並行會話攻擊
      3.5.4  反射攻擊
      3.5.5  交錯攻擊
      3.5.6  類型缺陷攻擊
      3.5.7  姓名遺漏攻擊
    3.6  安全協議的設計原則
    3.7  本章小結
    習題
  第4章  認證與密鑰交換協議
    4.1  無可信第三方的對稱密鑰協議
      ……
第三部分  安全協議的分析、驗證方法
第四部分  安全協議前沿技術研究簡介
參考文獻

Δ訂單支付
付款方式
運費計算方式

Δ關於我們
關於美商天龍
聯絡我們

首頁│ 新手上路│ 客服中心│ 關於我們│ 聯絡我們│ 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

同類熱銷排行榜

最近瀏覽的商品

安全協議原理與驗證(第2版高等院校網路空間安全系列規劃教材)