IKEv2协议相关论文
IPSec(IP Security)为IPv4和IPv6提供可互操作的、高性能的、基于密码学的通信安全。Internet密钥交换协议(IKE Internet Key Exch......
针对IKEv2协议在系统开销和发起方身份保护方面的不足,提出了一种改进协议的方案。新的协议采用基于超椭圆曲线的W eil对技术进行......
针对协议复合时需要解决的问题,研究提出一种复合协议验证逻辑模型,给出了协议描述、逻辑语法、逻辑语义和相应的证明系统,对协议......
安全性是新一代密钥交换协议的关键,而Spi演算是研究协议安全性的一种形式化方法,文中采用Spi演算研究了IKEv2协议的安全属性。针......
IKEv2协议中的预共享密钥认证方式容易受到中间人攻击和离线字典攻击,从而泄漏发起方的身份信息和通信双方的预共享密钥。针对上述2......
Athena分析方法由于没有抽象更多的密码学原语,因此不能分析较复杂的安全协议。该文针对互联网密钥交换协议(IKEv2),对Athena方法进行......
对第二代因特网密钥交换协议IKEv2进行了分析与研究。介绍了IKEv2协议的新特点,并对IKEv2协议抵御中间人攻击,拒绝服务攻击等安全性......
传统远程接入配置机制存在交互时间长、安全性不强、访问控制难、远程接入服务器负担重等缺陷。该文在最新的IKEv2的基础上,将CP载......
MIPv6的绑定更新过程是其主要安全问题,IETF草案对此给出一种新的基于IkEv2/IPSec协议的绑定更新机制,但是IKEv2协议存在不适合直接应......
基于新一版密钥交换协议IKEv2的新特性,提出了一种Linux操作系统下IKEv2的实现方案.设计和开发中充分借鉴了面向对象的程序设计思......
本文主要研究IPsec协议簇中的IKE协议部分,对最新IKEv2动态密钥协商机制进行了深入研究和分析,提出将EAP认证框架引入IKE认证体系......
基于BSW逻辑对互联网密钥交换协议(IKEv2)进行了形式化分析,证明协议在预共享密钥认证方式下存在中间人攻击,提出一个改进方案,并......
目前,互联网密钥交换协议(IKE/IKEv2)已经成为IPSec实现中首选的密钥交换协议。但由于它是一种混合型的协议,其自身的复杂性不可避免......
本文对新的IKEv2动态密钥协商机制进行了深入研究分析,提出引入公钥基础设施体系PKI的具体方案,同时在PKI现有RSA算法的基础上研究......
因特网密钥交换(Internet Key Exchange IKE)协议是IPSec(IP Security)协议簇的重要组成部分,负责动态协商和管理安全联盟。由于IKE......
IPsec协议是互联网安全协议,为IP层提供数据机密性、完整性、源验证、抗重传等功能。密钥交换协议IKEv2为IPsec协议动态协商和管理......