咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 2 篇 期刊文献

馆藏范围

  • 2 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2 篇 工学
    • 1 篇 信息与通信工程
    • 1 篇 计算机科学与技术...
    • 1 篇 软件工程
    • 1 篇 网络空间安全

主题

  • 2 篇 安全协议
  • 2 篇 ike2
  • 1 篇 扩展串空间
  • 1 篇 空间理论
  • 1 篇 理想
  • 1 篇 修改意见
  • 1 篇 攻击模式
  • 1 篇 密钥交换
  • 1 篇 协议分析
  • 1 篇 安全性分析
  • 1 篇 svo逻辑

机构

  • 1 篇 华中科技大学
  • 1 篇 中国科学技术大学
  • 1 篇 中科院软件所信息...

作者

  • 1 篇 沈海峰
  • 1 篇 黄河燕
  • 1 篇 李之棠
  • 1 篇 李伟明
  • 1 篇 解云峰
  • 1 篇 薛锐

语言

  • 2 篇 中文
检索条件"主题词=IKE2"
共 2 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
ike2协议的安全性分析
收藏
分享
引用
计算机科学 2005年 第11期32卷 59-63,123页
作者： 沈海峰 薛锐 黄河燕 中国科学技术大学计算机科学系 合肥230026 中科院软件所信息安全国家重点实验室 北京100080
本文首先扩展了串空间的理想理论,然后应用此扩展理论分析ike2协议的核心安全:秘密性和认证性。通过分析,证明了ike2协议的密钥交换和认证安全性,但同时发现它不能在主动攻击模式下保护发起者身份,对此我们提出了一个修改意见。对ike2... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
ike2协议的形式化分析
收藏
分享
引用
计算机研究与发展 2006年 第Z2期43卷 275-279页
作者： 解云峰 李之棠 李伟明 华中科技大学计算机科学与技术学院 武汉430074 华中科技大学网络中心武汉430074 华中科技大学计算机科学与技术学院武汉430074
现有的IPSec密钥交换标准存在着若干安全漏洞,为了解决相关的安全及应用问题,IETF提出了ike2协议.应用SVO逻辑对ike2协议进行了形式化分析,证明了ike2协议的密钥交换和认证安全性.对ike2协议的分析也证明了SVO逻辑可用于分析基于Diffie-... 详细信息
来源： 维普期刊数据库 维普期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件