快速密钥交换协议分析改进.pdf

摘要 摘 要 近年来，随着信息交换和信息共享数据量的急剧增加，对信息的安全性的 要求也在不断的提高，现有的安全技术也无法满足信息安全的需求。国内外对 Intemet密钥交换协议的研究和应用也在日益增多，由于大多数的Intemet密钥交 VirtualPrivate 换协议大多数是用于虚拟专用网(VPN Network)的构建。IPSec (IP VPN进行通信时，必须建立安全关联(SA Association)，这就涉及到如 Security 何保护信息安全等协商一致的问题。 信息之前的动态协商和保证信息安全方面的关联。但是IKE协议存在多种漏洞， 这些缺陷导致它存在很多问题。 论文选择JFK协议作为分析并优化的目标。与IKE协议相比，JFK协议 具有很多IKE协议不具备的优点：高效、安全和简单。但JFK协议也存在着一 Forward 些缺陷，比如没有真正的实现PFS(Perfect Secrecy)，不能做到完全无 状态交互等。通过对JFK协议进行详细分析，论证JFK协议的不足，并通过 研究作出了优化方案，优化JFK协议是在不削弱原JFK协议优点的基础上，使 JFK协议更加的完善。最后运用形式化分析方法BAN类逻辑推导，证明了优化 的盯K协议弥补了原JFK协议不足，是可靠、高效和简单的。 关键词：VPN；IKE协议；JFK协议；无状态交互；PFS Abstract Abstract Inrecent a increaseintheamountofinformationand years，谢msharp exchange information are data,informationsecurity sharing constantlyimprovedexisting canno meetthe homeandabroadonthe securitytechnologieslonger demand，at Internet and also mostofthe KeyExchangeprotocolapplicationincreasing，since Internet virtual VimmlPrivate keyexchangeprotocolusing privatenetwork(VPN stacktobuildtheVPN network)architecture．IPSec(IPSecurity)protocol protoc01． Two buildVPNwimIPSec to mustestablisha communicate，we computer protocol relatestothe ofhowto securityassociation(SASecurityAssociation)，whichproblem information