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

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

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