IKEV2

作品数：51被引量：59H指数：5
导出分析报告
相关领域：自动化与计算机技术电子电信更多>>
相关作者：陆建德马建峰周晓东曹春杰唐佳佳更多>>
相关机构：解放军信息工程大学西安电子科技大学苏州大学杭州迪普科技股份有限公司更多>>
相关期刊：《情报杂志》《北京交通大学学报》《网络安全和信息化》《计算机应用》更多>>
相关基金：江苏省自然科学基金国家自然科学基金陕西省自然科学基金河南省杰出青年科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程与应用x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
针对中间人攻击的IKEv2形式化分析与改进被引量：1
《计算机工程与应用》2012年第2期59-62,共4页朱晓薇 周海刚 刘军 
江苏省自然科学基金(No.BK2008090)
基于BSW逻辑对互联网密钥交换协议(IKEv2)进行了形式化分析,证明协议在预共享密钥认证方式下存在中间人攻击,提出一个改进方案,并利用扩展的BSW逻辑分析了改进后的协议能够抵御中间人攻击,且能够满足协议的认证性、秘密性和完整性。
关键词：BSW逻辑 IKEV2协议 中间人攻击 预共享密钥 
支持ECC数字证书的IKEv2认证设计
《计算机工程与应用》2009年第2期106-108,共3页陆洁茹 苏兵 
江苏省自然科学基金No.BK2004039;江苏工业学院校基金项目(No.JQ200805)~~
数字证书对因特网密钥交换协议版本2IKEv2(Internet Key Exchange version2)的初始化交互协商的安全及效率有很大的影响。提出了一种基于ECC数字证书的身份认证机制,并在IPSecVPN系统的IKEv2初始化过程中应用ECC数字证书实现了通信双方...
关键词：因特网密钥交换协议版本2 椭圆曲线密码 X.509数字证书 数字签名 
基于SPIN的IKEv2协议高效模型检测被引量：5
《计算机工程与应用》2008年第5期158-161,共4页吴昌 肖美华 
江西省自然科学基金(the Natural Science Foundation of Jiangxi Province of China under Grant No.0411041;No.0611057)
论文先简单介绍了互联网密钥交换协议IKEv2,然后利用著名的模型检测工具SPIN对其进行了建模和分析。在建模的过程中,作者发现现有的建模方法很难对结构复杂的协议IKEv2进行建模,而且用现有的建模方法建立的模型可读性差、自动化程度不高...
关键词：IKEV2 模型检测 SPIN PROMELA IP隧道 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部