安全協(xié)議模型與設計

內(nèi)容概要

《安全協(xié)議模型與設計》介紹了安全協(xié)議的整體結(jié)構(gòu)、設計流程與分析方法。第1～3章介紹了安全協(xié)議的基本概念以及采用的數(shù)學知識與密碼工具，第4章介紹了安全協(xié)議的可證明理論，第5～7章探討了不同環(huán)境下安全協(xié)議的設計與分析。針對現(xiàn)有安全協(xié)議中出現(xiàn)的問題，提出了一些針對常見協(xié)議的改進協(xié)議，經(jīng)過性能測試具有較好的實用性。
《安全協(xié)議模型與設計》適合普通高等院校信息安全方向的教師、研究生以及從事安全協(xié)議等研究方向的科研人員閱讀參考。

作者簡介

劉天華（1966～），男，博士，沈陽師范大學教授，碩士生導師。中國計算機學會YOCSEF沈陽副主席，中國電子學會高級會員。長期從事計算機網(wǎng)絡、網(wǎng)絡安全、信息安全、嵌入式系統(tǒng)、教育信息技術(shù)方面的教學及科學研究工作。主持及參與國家自然科學基金、省自然科學基金等縱向和橫向項目10項，在國內(nèi)外重要學術(shù)刊物以及學術(shù)會議上發(fā)表論文30余篇，撰寫和主編專業(yè)著作和教材12部，獲省部級有關(guān)獎勵3項。
朱宏峰（1978～），男，博士，沈陽師范大學副教授。研究方向為分布式網(wǎng)絡、網(wǎng)絡工程、計算機系統(tǒng)結(jié)構(gòu)、網(wǎng)絡安全等。先后參加省級科研項目6項，在國內(nèi)外重要學術(shù)刊物及學術(shù)會議上發(fā)表學術(shù)論文30余篇，曾獲得遼寧省自然科學學術(shù)成果獎一等獎，遼寧省自然科學學術(shù)成果獎論文類三等獎，出版教材2部。

書籍目錄

前言第1章 引言1.1 安全協(xié)議的基本概念1.1.1 定義1.1.2 目的1.1.3 游戲角色1.2 安全協(xié)議的分類1.2.1 第一種分類方法1.2.2 第二種分類方法1.2.3 其他方法1.3 安全協(xié)議的模型與分析方法1.4 安全協(xié)議的目標與研究層次1.5 安全協(xié)議的設計原則第2章 安全協(xié)議的數(shù)學基礎2.1 數(shù)論基礎2.1.1 整除及輾轉(zhuǎn)相除2.1.2 算術(shù)基本定理2.1.3 同余式2.1.4 費馬小定理和歐拉定理2.2 抽象代數(shù)基礎2.3 離散概率基礎2.4 信息論基礎2.5 計算復雜性理論基礎2.5.1 基本概念2.5.2 計算模型與判定問題2.5.3 復雜性類2.6 計算困難問題及其假設2.6.1 大整數(shù)因子分解問題和RSA問題2.6.2 離散對數(shù)和Diffie-Hellman問題2.6.3 橢圓曲線和雙線性對問題第3章 安全協(xié)議的密碼學工具3.1 密碼學基本概念3.1.1 加密:歷史回顧3.1.2 密碼演化3.2 古典密碼3.3 計算密碼3.3.1 對稱密鑰密碼3.3.2 公開密鑰密碼3.3.3 數(shù)字簽名3.3.4 Hash函數(shù)3.3.5 消息認證與消息認證碼3.3.6 偽隨機函數(shù)第4章 安全協(xié)議的可證明理論4.1 密碼體制的攻擊游戲4.2 隨機預言模型下的安全性證明4.3 標準模型下的安全性證明第5章 基本安全協(xié)議研究5.1 認證協(xié)議5.1.1 認證協(xié)議的基本概念5.1.2 認證協(xié)議的基本技術(shù)5.1.3 常規(guī)認證協(xié)議5.2 密鑰交換協(xié)議5.2.1 可信模型5.2.2 安全性討論5.3 認證及密鑰交換協(xié)議5.3.1 基于口令的認證及密鑰交換協(xié)議5.3.2 基于身份的認證及密鑰交換協(xié)議5.3.3 典型認證及密鑰交換協(xié)議5.4 抗字典攻擊的E-3PAKE協(xié)議5.4.1 PAKE中典型字典攻擊案例分析——DHEKE協(xié)議5.4.2 PAKE中典型字典攻擊案例分析——STW-3PAKE5.4.3 PAKE中典型字典攻擊案例分析——3PAKE-2'協(xié)議5.4.4 抗字典攻擊的E-3PAKE協(xié)議5.5 基于認證符的高效跨域EV-C2C-PAKE協(xié)議5.5.1 相關(guān)工作5.5.2 基于認證符的高效跨域EV-C2C-PAKE協(xié)議5.5.3 基本工具5.5.4 EV-C2C-3PAKE5.5.5 安全與性能分析5.5.6 實例與結(jié)論5.6 一種基于橢圓曲線的無認證表高效魯棒PAKE方案5.6.1 Juang方案的一種攻擊方法5.6.2 一種改進方案5.6.3 效率與安全性分析5.7 基于口令的門限密鑰交換協(xié)議5.7.1 TPAKE協(xié)議模型5.7.2 TPAKE協(xié)議描述5.7.3 安全性證明與性能分析第6章 兩方安全協(xié)議研究6.1 零知識協(xié)議6.1.1 零知識思想6.1.2 交互證明系統(tǒng)6.1.3 零知識證明6.2 比特承諾協(xié)議6.2.1 比特承諾簡介6.2.2 比特承諾實例6.3 擲幣協(xié)議6.4 電話撲克協(xié)議6.5 不經(jīng)意傳輸協(xié)議6.6 可否認認證協(xié)議6.7 同步秘密交換協(xié)議6.8 一種P2P網(wǎng)絡中的高效隱蔽搜索協(xié)議6.8.1 引言6.8.2 隱蔽搜索模型設計6.8.3 安全性與性能分析6.9 一種基于隨機預言模型的完全公平簽名方案6.9.1 引言6.9.2 預備知識6.9.3 基本模型6.9.4 基于Schnorr signature的FKESS實例6.9.5 FKESS的安全性與效率分析第7章 多方安全協(xié)議研究7.1 基本多方協(xié)議7.1.1 秘密共享7.1.2 可驗證秘密共享7.1.3 BD協(xié)議7.1.4 保密的多方計算7.2 電子選舉協(xié)議7.2.1 電子選舉的基本概念7.2.2 安全電子選舉模型7.2.3 安全電子選舉結(jié)構(gòu)7.2.4 安全電子選舉優(yōu)缺點與實例7.3 數(shù)字現(xiàn)金7.3.1 現(xiàn)實場景分析7.3.2 盲簽名7.3.3 群簽名7.4 一種基于口令的群組密鑰協(xié)商協(xié)議PAGKA7.4.1 群組密鑰管理分類7.4.2 基于口令的組通信密鑰協(xié)商協(xié)議7.4.3 一種基于口令的組通信密鑰協(xié)商協(xié)議PAGKA7.4.4 PAGKA屬性分析與結(jié)論7.5 基于樹結(jié)構(gòu)的分布式組密鑰協(xié)商協(xié)議7.5.1 可認證BD協(xié)議7.5.2 基于樹結(jié)構(gòu)具有認證功能的組密鑰協(xié)商協(xié)議TABD7.5.3 安全性和性能分析7.5.4 結(jié)論參考文獻

編輯推薦

劉天華、朱宏峰編著的《安全協(xié)議模型與設計》從內(nèi)容上可分為基礎理論、模型與設計兩部分，并在模型與設計部分中穿插作者多年的研究成果。本書在基礎理論部分中按照“全書架構(gòu)—數(shù)學基礎—基本工具—設計方法與模型”結(jié)構(gòu)逐步進行闡述。在模型與設計部分中按照“領(lǐng)域架構(gòu)—研究現(xiàn)狀—問題提出—問題解決—未來研究”進行編寫，在每一小節(jié)中提出問題并給出相應的解決方案。各章內(nèi)容既相互聯(lián)系又相對獨立，緊緊圍繞解決安全協(xié)議中針對不同服務環(huán)境的設計思想、設計方法、所采用的模型以及折中效率與安全等實際問題，并給出安全性證明、通信量和計算量等參數(shù)的橫向?qū)Ρ冉Y(jié)果，使讀者對安全協(xié)議領(lǐng)域的研究有深刻的認識，從而起到拋磚引玉的作用。

圖書封面

評論、評分、閱讀與下載

---

    安全協(xié)議模型與設計 PDF格式下載

---