可证明安全的认及密钥交换协议设计与分析.pdfVIP

摘要 随着信息技术和网络技术的飞速发展，信息网络的广泛应用已成为社会进步 和发展的重要标志之一。计算机网络在给人们带来巨大便利的同时，也对网络上 信息的安全保护提出了巨大的挑战。如果不能切实有效地解决计算机网络的安全 问题，必将影响到它的应用和发展。采用密码技术的安全协议是构建安全网络环 境的基石，安全协议的目标不仅仅是为了实现信息的加密传输，更重要的是为了 解决网络中的安全问题，它的正确性和安全性对于网络安全极其关键。本文对可 证明安全的认证及密钥交换协议设计与分析进行了比较深入的研究，研究内容包 括：可证明安全的认证及密钥交换协议设计与分析理论的研究；Internet密钥交换 协议的分析与设计；WLAN中接入、切换及漫游认证协议的分析与设计和群组密 钥交换协议的分析与设计。主要研究成果有： 引入了第三个协议参与方，并且定义了其行为和攻击者的能力。对Bresson— 析，并且给出了新的安全定义。在通用可组合安全(UniversallyComposableSecurity, UC Security)框架下提出了基于秘密共享体制的群组密钥交换协议的通用设计方 法。 和发起者主动身份保护问题提出了改进方案：新的方案通过对通信对方的身份进 行签名来实现有效的身份认证，同时还能够保证通信双方对交互消息内容的不可 否认性，实现对协议发起者的主动身份保护。 3．对国标WAPI．XGI进行了分析，指出其不能保证前向保密性、易遭受字典 攻击的问题，然后提出了一种新的接入认证协议和一种支持快速切换的安全关联 802．1ls规范所定义的WLANMesh不能解决MP移动性的问 建立协议。针对IEEE 题，提出了一种新的接入认证协议3PAKE，实现了申请者s、认证者A和认证服务 器AS三者之间的相互认证。在此基础上，分别提出了快速切换和漫游接入认证协 议，并且为移动用户提供身份保护。 4．分析了几个著名的群组密钥交换协议，指出其不能实现一致性的安全目 标；然后提出了基于身份的常数轮的群组密钥交换协议；最后根据前面提出的UC 安全的群组密钥交换协议设计方法，给出了UC安全的群组密钥交换协议实例。 关键词：可证明安全认证密钥交换安全协议 ABSTRACT Withthe ofinformationandnetwork growth rapid networkhave8ecnawide inmordon application face in networks the blockofnetwork great security．As security, challenge building callbeusednot to information cryptographyprotocols onlyprovide confidentiali劬but alsotoresolvemostofthe ininformation the securityproblems networks．So correctnessand ofthesekindsof ale work security protocolsveryimportant．T11is makesa researchforthe s。cureauthentication comparativedeep and provably