口令認證密鑰交換新協議.pdf

1、結合國外的一些新的觀點介紹了認證方面的原理，特別是口令認證方面的，提出關于協議安全性的要求。 結合EKE模型和Shoup模型，改進出一種新的安全模型，其中包含兩種情況，一種是理想模型，另一種是標準模型。新的安全模型主要突出點是多了一個Testkmoracle，而這個oracle是關鍵，有了這個oracle，我們提出了PAKO協議和PAKS協議，并且為PAKO和PAKS證明提供了一個很好的橋梁，并且這種模型也能很好地反映出口令認證

2、交換協議地本質。這兩個協議的第二個階段是相同的，區(qū)別就是在第一個階段不同。PAKO協議是在理想模型下證明安全的，而PAKS協議是在標準模型下證明是安全的。我們對這兩個協議進行了安全性的證明，而所采用的證明方法與目前大多數的相關方面的協議的證明方法是不同的。 提出一種對EKE的離線攻擊方法，當潛在的子群的空間比加密的空間少得多的時，這種攻擊方法很有效，并且說明了PAKS協議是能夠抵抗這種攻擊的。最后，提出PAKO協議和PAKS協議