本書(shū)系統(tǒng)地介紹了安全協(xié)議(主要是認(rèn)證協(xié)議和密鑰建立協(xié)議)的基本概念、攻擊方法、分析方法和設(shè)計(jì)方法。全書(shū)分為7章,從安全協(xié)議的基本概念和協(xié)議記法出發(fā),先介紹安全協(xié)議分析采用的假設(shè)和對(duì)攻擊者能力的界定,接著對(duì)一些經(jīng)典的安全協(xié)議及其攻擊展開(kāi)分析,然后對(duì)邏輯類(lèi)分析方法、模型檢測(cè)分析方法和定理證明類(lèi)分析方法分別進(jìn)行介紹,并講述了安全協(xié)議的設(shè)計(jì)原則和設(shè)計(jì)方法,對(duì)一些實(shí)際使用中的具體安全協(xié)議進(jìn)行講解和分析。本書(shū)注重知識(shí)的系統(tǒng)性和覆蓋面的廣泛性,部分內(nèi)容有一定的理論深度。
本書(shū)可作為信息安全、計(jì)算機(jī)、通信專(zhuān)業(yè)的本科生和研究生教材,也可作為相關(guān)專(zhuān)業(yè)的研究人員和工程技術(shù)人員的參考書(shū)。
透徹易懂的概念詮釋
深入淺出的協(xié)議分析和講解
涵蓋大量常見(jiàn)安全協(xié)議的分析和設(shè)計(jì)
第1章引言
第2章安全協(xié)議及攻擊
第3章邏輯類(lèi)分析方法
第4章模型檢測(cè)分析方法
第5章定理證明類(lèi)分析方法
第6章安全協(xié)議的設(shè)計(jì)
第7章實(shí)用安全協(xié)議
附錄a協(xié)議及攻擊索引
參考文獻(xiàn)
適合入門(mén)者
可以看看的。
作者的言論很官方啊,到2020年,中國(guó)不會(huì)成為霸權(quán),而會(huì)繼續(xù)專(zhuān)注發(fā)展經(jīng)濟(jì)
這本書(shū)挺好的,挺適合對(duì)安全協(xié)議分析進(jìn)行研究的人看的。
適合信息安全專(zhuān)業(yè)的同學(xué)了解安全協(xié)議作為參考