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