抗重放和類型缺陷攻擊認(rèn)證協(xié)議的設(shè)計(jì)與分析研究.pdf

1、認(rèn)證協(xié)議是安全協(xié)議中最基本、最重要的一種，其目標(biāo)是實(shí)現(xiàn)通信實(shí)體的身份認(rèn)證和在通信實(shí)體間分發(fā)會(huì)話密鑰。對(duì)認(rèn)證協(xié)議的攻擊形式有很多，但已構(gòu)成的攻擊事例中，百分之九十以上是重放攻擊和類型缺陷攻擊。本文以基于抗重放攻擊和類型缺陷攻擊的認(rèn)證協(xié)議為研究對(duì)象，從非形式化和形式化兩個(gè)方面進(jìn)行研究。在非形式化方面，本文提出了一套抗重放和類型缺陷攻擊的認(rèn)證協(xié)議的設(shè)計(jì)原則和方法；在形式化方面，本文對(duì) BAN邏輯的初始假設(shè)和消息含義推理規(guī)則進(jìn)行了改進(jìn)。本文的主

2、要?jiǎng)?chuàng)新點(diǎn)有：
　　1.在對(duì)大量的認(rèn)證協(xié)議受重放攻擊的事例進(jìn)行歸納，并對(duì)重放攻擊的原理進(jìn)行分析的基礎(chǔ)上，提出了一套抗重放攻擊的認(rèn)證協(xié)議的設(shè)計(jì)原則和方法。
　　2.在類型缺陷攻擊方面，發(fā)現(xiàn)各種改進(jìn)都不能從根本上避免類型缺陷攻擊的缺陷，文中提出消息能不加密的盡量不加密原則。如：很多認(rèn)證主體和服務(wù)器用共享密鑰加密消息的協(xié)議，可以通過(guò)改進(jìn)，只由一方加密消息，同樣能達(dá)到相同的目標(biāo)，而且可以徹底避免類型缺陷攻擊的缺陷。
　　3.對(duì)