IKEV2协议

作品数：20被引量：31H指数：4
导出分析报告
相关领域：自动化与计算机技术电子电信更多>>
相关作者：潘进韩明奎李波刘骥宇董荣胜更多>>
相关机构：中国人民解放军西安通信学院西安电子科技大学解放军信息工程大学苏州大学更多>>
相关期刊：《计算机技术与发展》《计算机工程与设计》《计算机应用》《计算机工程与应用》更多>>
相关基金：国家高技术研究发展计划江苏省自然科学基金国家自然科学基金广西省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
可信计算环境下的IKEv2协议扩展方案被引量：2
《微电子学与计算机》2018年第12期1-7,共7页肖跃雷 武君胜 朱志祥 
国家自然科学基金(61741216;61402367);陕西省科技统筹创新工程计划项目(2016KTTSGY01-03);陕西省教育厅专项科学研究项目(17JK0704);西安邮电大学"西邮新星"团队支持计划项目
在IKEv2协议基础上,利用ISO/IEC 9798-3:1998/Amd 1:2010中的认证机制,提出了一种可信计算环境下的IKEv2协议扩展方案,实现了发起者和响应者之间的双向身份认证和平台认证,并建立了它们之间的会话密钥,且与IKEv2协议是向后兼容的,其中...
关键词：可信计算 平台认证 串空间模型 IKEV2 
针对中间人攻击的IKEv2形式化分析与改进被引量：1
《计算机工程与应用》2012年第2期59-62,共4页朱晓薇 周海刚 刘军 
江苏省自然科学基金(No.BK2008090)
基于BSW逻辑对互联网密钥交换协议(IKEv2)进行了形式化分析,证明协议在预共享密钥认证方式下存在中间人攻击,提出一个改进方案,并利用扩展的BSW逻辑分析了改进后的协议能够抵御中间人攻击,且能够满足协议的认证性、秘密性和完整性。
关键词：BSW逻辑 IKEV2协议 中间人攻击 预共享密钥 
一种基于签密的改进IKEv2协议被引量：1
《计算机应用研究》2011年第12期4657-4659,4662,共4页莫天庆 张龙军 赵李懿 
国家自然科学基金资助项目(60842006);武警部队科研基金课题(wjy201111);武警工程学院基础基金研究项目(wxk2010-04);陕西省自然科学基金资助项目(2007F50)
针对IKEv2协议存在的对通信实体的身份保护不足和系统开销大等问题,提出了一种安全高效的改进的IKEv2协议。新协议采用了基于签密的可认证密钥协商来代替D-H密钥交换,在交换秘密信息的同时实现了对协议的发起者与响应者之间的双向认证;...
关键词：签密 密钥交换 认证测试 IKEV2 
MIPv6绑定更新机制及验证被引量：1
《计算机工程》2011年第1期151-153,共3页韩明奎 潘进 陈志广 李波 
国家"863"计划基金资助项目(2007AA01Z472)
MIPv6的绑定更新过程是其主要安全问题,IETF草案对此给出一种新的基于IKEv2/IPSec协议的绑定更新机制,但是IKEv2协议存在不适合直接应用于移动环境的缺陷。为此,基于Weil对数字签名算法改进了IKEv2协议的缺陷,并在新协议的基础上改进了...
关键词：移动IPV6 绑定更新 IKEV2协议 
IKEv2协议中消息协商的一种实现方案
《孝感学院学报》2010年第6期62-65,共4页刘骥宇 母军臣 
IKEv2协议中最重要的内容是消息的协商,消息协商系统也是整个IKEv2系统中的难点。本文实现的方案中,根据协商消息的转换定义了多个状态值和状态转换表,通过对状态转换的跟踪,完成整个协商交换。并使用交换得到的信息生成安全传输所需的...
关键词：IPSEC IKEV2 消息协商 
基于扩展Spi演算的IKEv2协议形式化分析与改进
《计算机技术与发展》2010年第8期154-158,共5页韩明奎 潘进 刘琼 李波 
国家"863"计划资助项目(2007AA01Z472)
安全性是新一代密钥交换协议的关键,而Spi演算是研究协议安全性的一种形式化方法,文中采用Spi演算研究了IKEv2协议的安全属性。针对Spi演算不能形式化定义Diffie-Hellman密钥交换和密钥生成的问题,扩展了Spi演算的语法和语义。基于扩展...
关键词：IKEV2协议 SPI演算 DIFFIE-HELLMAN密钥交换 身份保护 
一种改进的IKEv2协议及其形式化验证被引量：3
《计算机应用研究》2010年第2期707-711,共5页韩明奎 潘进 李波 
国家"863"计划资助项目(2007AA01Z472)
针对IKEv2协议在系统开销和发起方身份保护方面的不足,提出了一种改进协议的方案。新的协议采用基于超椭圆曲线的W eil对技术进行数字签名认证,并且首先认证响应方身份。通过该方案,改进后的协议降低了系统开销,实现了对发起方身份的主...
关键词：IKEV2协议 身份保护 WEIL对 应用pi演算 
一种复合协议验证逻辑模型
《计算机应用研究》2010年第1期274-277,共4页赵娟 韩继红 王亚弟 黄卿 朱玉娜 
针对协议复合时需要解决的问题,研究提出一种复合协议验证逻辑模型,给出了协议描述、逻辑语法、逻辑语义和相应的证明系统,对协议的秘密性和认证性进行建模,将协议复合分为并行复合和顺序复合,并提出相应的协议复合定理。最后以IKEv2协...
关键词：复合协议 形式化分析 逻辑模型 并行复合 顺序复合 IKEV2协议 
IKEv2协议的分析与改进被引量：3
《计算机工程》2009年第15期126-128,共3页邱司川 潘进 刘丽明 
国家"863"计划基金资助项目(2007AA01Z472)
IKEv2协议中的预共享密钥认证方式容易受到中间人攻击和离线字典攻击,从而泄漏发起方的身份信息和通信双方的预共享密钥。针对上述2种攻击,提出将数字签名认证方式与预共享密钥认证方式相结合的防御措施,引入公钥口令的思想,避免建立公...
关键词：IKEV2协议 中间人攻击 离线字典攻击 预共享密钥 口令 
IKEv2远程接入配置机制的改进与实现
《计算机工程》2008年第18期113-116,共4页徐家燕 周晓东 陆建德 
江苏省自然科学基金资助项目(BK2004039)
传统远程接入配置机制存在交互时间长、安全性不强、访问控制难、远程接入服务器负担重等缺陷。该文在最新的IKEv2的基础上,将CP载荷与DHCP机制有效结合,实现远程接入用户的自动配置。实验表明,该机制提高了远程接入效率和安全性,增加...
关键词：IPSEC协议 远程接入 VPN网络 配置机制 IKEV2协议 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部