安全協(xié)議設(shè)計(jì)與分析

第1章 緒論
1．1 安全協(xié)議的背景
1．2 安全協(xié)議及分類
1．3 安全協(xié)議面臨的威脅
1．4 安全協(xié)議設(shè)計(jì)
1．5 安全協(xié)議分析方法概述
參考文獻(xiàn)
第2章 安全協(xié)議的邏輯化分析方法
2．1 BAN邏輯
2．1．1 BAN邏輯的基本命題符號(hào)
2．1．2 BAN邏輯的公理系統(tǒng)
2．1．3 BAN邏輯的使用方法
2．1．4 BAN邏輯的優(yōu)點(diǎn)和不足
2．2 GNY邏輯
2．2．1 GNY邏輯的語(yǔ)義
2．2．2 GNY邏輯公理
2．3 SVO邏輯
2．3．1 SVO邏輯的語(yǔ)義
2．3．2 SVO邏輯的公理系統(tǒng)
2．4 AT邏輯
2．4．1 AT邏輯語(yǔ)義
2．4．2 AT邏輯的公理系統(tǒng)
2．5 Rubin邏輯
2．5．1 Rubin邏輯語(yǔ)義
2．5．2 Rubin邏輯的公理系統(tǒng)
2．5．3 擴(kuò)展的Rubin邏輯
2．6 ZWW邏輯
2．6．ZWW語(yǔ)義
2．6．2 永真公式集合廠和推理規(guī)則
2．6．3 ZWW邏輯應(yīng)用示例
2．7 SPALL邏輯
2．7．1 若干基本概念
2．7．2 消息及其相關(guān)概念
2．7．3 公式及其相關(guān)概念
2．7．4 SPALL的公理系統(tǒng)
2．7．5 SPALL系統(tǒng)的若干定理
2．7．6 SPALL系統(tǒng)應(yīng)用示例
2．7．7 對(duì)SPALL邏輯的幾點(diǎn)說(shuō)明
參考文獻(xiàn)
第3章 安全協(xié)議的串空間分析方法
3．1 串與串空間的概念
3．1．1 項(xiàng)與子項(xiàng)
3．1．2 串和串空間
3．1．3 叢與因果先后次序
3．2 入侵串
3．2．1 入侵串與可獲取密鑰及安全密鑰
3．2．2 理想與誠(chéng)實(shí)
3．3 認(rèn)證測(cè)試及其應(yīng)用
3．3．1 認(rèn)證測(cè)試
3．3．2 應(yīng)用實(shí)例
3．4 注記
參考文獻(xiàn)
第4章 可證明安全性分析方法
4．1 引言
4．2 可證明安全性的三大基本原則
4．2．1 嚴(yán)格準(zhǔn)確的安全定義
4．2．2 可準(zhǔn)確描述的安全假設(shè)
4．2．3 形式化的安全性證明
4．3 密碼學(xué)標(biāo)準(zhǔn)假設(shè)
4．3．1 常用定義與表示法
4．3．2 離散對(duì)數(shù)假設(shè)與Diffie-Hellman假設(shè)
4．4 協(xié)議分析實(shí)例：DiffieRFIDHellman密鑰交換協(xié)議
4．4．1 安全模型與安全定義
4．4．2 DiffieRFIDHeIlman密碼交換協(xié)議
4．5 隨機(jī)預(yù)言機(jī)模型
4．6 基于博弈序列的安全性證明方法
4．6．1 基本思路
4．6．2 證明實(shí)例：ElGamal加密體制
4．7 泛組合方法
4．7．1 交互式圖靈機(jī)與分布不可區(qū)分
4．7．2 UC模型下協(xié)議的安全性
4．8 小結(jié)
參考文獻(xiàn)
第5章 基于中心服務(wù)器認(rèn)證的密鑰交換協(xié)議
5．1 引言
5．2 Canetti-Krawczyk模型
5．2．1 協(xié)議會(huì)話
5．2．2 非認(rèn)證鏈路攻擊模型
5．2．3 認(rèn)證鏈路攻擊模型
5．2．4 證明實(shí)例：Diffie-Hellman協(xié)議
5．3 擴(kuò)展Canetti-Krawczyk模型
5．3．1 設(shè)計(jì)動(dòng)機(jī)
5．3．2 模型描述
5．3．3 攻擊SIG-DH協(xié)議
5．4 MQV類協(xié)議
5．4．1 協(xié)議構(gòu)造及相關(guān)變型
5．4．2 安全證明
5．5 其他的協(xié)議構(gòu)造方式
5．5．1 NAXOS技術(shù)
5．5．2 偽靜態(tài)密鑰與滯后臨時(shí)密鑰技術(shù)
5．6 小結(jié)
參考文獻(xiàn)
第6章 基于口令的認(rèn)證密鑰交換協(xié)議
6．1 引言
6．2 非對(duì)稱口令認(rèn)證密鑰交換協(xié)議
6．2．1 協(xié)議安全模型與必要的密碼學(xué)假設(shè)
6．2．2 HK協(xié)議及其安全證明
6．3 Bellare-Pointcheval-Rogaway模型
6．3．1 BPR模型的參與者描述
6．3．2 BPR模型攻擊者的定義
6．3．3 BPR模型安全的定義
6．4 一次加密密鑰交換協(xié)議
6．4．1 協(xié)議描述
6．4．2 語(yǔ)義安全
6．4．3 安全證明
6．5 小結(jié)
參考文獻(xiàn)
第7章 RFID協(xié)議設(shè)計(jì)與分析
7．1 引言
7．2 RFID系統(tǒng)與相關(guān)的安全問(wèn)題
7．2．1 RFID系統(tǒng)組成
7．2．2 RFID工作原理
7．2．3 RFID相關(guān)的安全問(wèn)題
7．3 RFID認(rèn)證協(xié)議的各種攻擊方法
7．3．1 RFID認(rèn)證協(xié)議主要的攻擊方法
7．3．2 一些RFID認(rèn)證協(xié)議的安全性分析
7．3．3 RFID認(rèn)證協(xié)議的安全需求
7．4 輕型RFID認(rèn)證協(xié)議的設(shè)計(jì)
7．4．1 基本設(shè)計(jì)原則
7．4．2 Yoon等人的RFID認(rèn)證協(xié)議安全性新分析
7．4．3 一個(gè)輕型RFID協(xié)議的設(shè)計(jì)與分析
7．5 RFID協(xié)議的前向安全性
7．5．1 前向安全性的重要性
7．5．2 前向安全性協(xié)議的一般設(shè)計(jì)方法
7．5．3 一類協(xié)議的新分析及改進(jìn)
7．6 HBN協(xié)議的設(shè)計(jì)與分析
7．6．1 HB類協(xié)議的研究進(jìn)展
7．6．2 LPN問(wèn)題與HB類協(xié)議
7．6．3 HB類協(xié)議的一些可證明安全規(guī)約結(jié)果
7．6．4 HB類協(xié)議主要的攻擊方法
7．6．5 HBN協(xié)議的設(shè)計(jì)與分析
參考文獻(xiàn)