口令认证密钥交换新协议.pdfVIP

1．2国内外的相关文献 1．2国内外的相关文献 在国内，口令认证方面的研究还不多，而以中文出现在国内的期刊的相关文章就 更加少了，能搜索到的文章大多是英文的。而系统地介绍对口令认证方面的基本原理 的书籍也不多。而在国外，口令认证的研究是目前热门的研究课题之一。在1999年 之前，这方面的研究也不是特别多。而在2000年Pt363提出了口令认证协议要求标 准化，并向全世界招募各种相关方面的协议，因此，在近几年，这方面的研究特别多。 表1-1是目前相关方面的一些文献，这些文献都是发表在一些有名的刊物里面的。 表1-1 1-1 Figure 1993 SMAPt’jJ 1994 EKEAt2…1 1995 OCOWt3训 1996 HCfi：Rt36J 1997 OKE[52I、OFMCl41】 1998 MDAKEi34J 1999 2000 PAKl561、PAK—Xf“I、EKE2[埘、NMC”、APAKE[31】 2001 SGHPO[”1、IMWll01、PPAKE[丑l、ATBSC[45】 2002 PAKRSAll81 2003 IDAMl6”、SKZSS[621、F-PAKE[48】 2004 2005 TPAKE[1引、IPLEE[251 1．3本文的突出点 本文的主要的工作是提出了PAKO协议和PAKS协议，并且对这两个协议进行了 证明。本文的特色有以下几点： (1)结合了国外的一些新的观点，比较系统的介绍了认证方面的原理，|特别是 口令认证方面的，提出了关于协议安全性的要求。 第一章绪论 (2)简单地改进了S／KEY协议。虽然没有对新改进的协议进行详细的证明和分 析，但包含的思想有加密填充的思想，可以值得研究。 (3)结合了EKE模型和Shoup模型，改进出一种新的安全模型，其中包含理想 模型和标准模型。新的安全模型模型主要突出点是多出了一个7b‰oracle，而这个 并且这种模型也能很好地反映出口令认证交换协议地本质。 (4)提出了PAKO协议和PAKS协议。这是全文的最大贡献。这两个协议的第 二个阶段是相同，就是第一个阶段不同。PAKO协议是在理想模型下证明安全的，而 PAKS协议是在标准模型下证明是安全的。我们还对这两个协议进行了安全性的证明， 而所采用的证明方法与目前大多数的相关方面的协议的证明方法是不同的。 (5)提出了一种对EKE的离线攻击方法，当潜在的子群的空间比加密的空间少 得多的话，这种攻击方法很有效。 (6)最后还提出了PAKS．X协议，它是对PAKS协议的一个扩展。 1．4论文的主要内容和章节安排 全文的主要内容如下： (1)研究口令认证瞰议的基本原理，比较系统地介绍和总结了口令认证的相关 内容，并且提出了一些对协议的安全性要求，还简单地改进了S／KEY协议。 (2)结合了EKE模型和Shoup模型，改进出一种新的安全模型。在这种模型下， 两个协议是安全的，运用的证明方法与目前大多数相关协议的证明方法不同，并且很 好地体现出了模型的结构。我们还提出了一种对EKE协议的离线攻击方法，并且说 扩展。 以下是本文的章节安排： 第一章主要介绍了口令认证密钥交换的研究现状、本课题的意义、本文的突出点 以及国内外的相关文献。 第二章介绍了口令认证密钥协议的基本原理。 第三章介绍了我们的安全模型。 ’ 3 1．4论文的主要内容和章节安排 第四章提出了PAKO协议和PAKS协议，并证明它们是安全的。最后还提出了 PAKS．X阱议。 图1-1 1-1