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

限定检索结果

文献类型

  • 2 篇 期刊文献
  • 1 篇 学位论文

馆藏范围

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

日期分布

学科分类号

  • 3 篇 工学
    • 2 篇 网络空间安全
    • 1 篇 仪器科学与技术
    • 1 篇 电子科学与技术（可...
    • 1 篇 信息与通信工程
    • 1 篇 计算机科学与技术...

主题

  • 3 篇 诚实理想
  • 2 篇 安全协议
  • 2 篇 串空间
  • 1 篇 认证测试
  • 1 篇 形式化方法
  • 1 篇 协议分析
  • 1 篇 理想
  • 1 篇 串空间模型
  • 1 篇 安全协议:猜测攻击...

机构

  • 1 篇 成都理工大学
  • 1 篇 北京邮电大学
  • 1 篇 信息安全国家重点...
  • 1 篇 贵州大学
  • 1 篇 中国科学技术大学

作者

  • 1 篇 罗文俊
  • 1 篇 陈肇雄
  • 1 篇 沈海峰
  • 1 篇 薛锐
  • 1 篇 袁超伟
  • 1 篇 赵自强
  • 1 篇 龙士工
  • 1 篇 黄河燕
  • 1 篇 李祥

语言

  • 3 篇 中文
检索条件"主题词=诚实理想"
共 3 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
串空间理论扩展
收藏
分享
引用
软件学报 2005年 第10期16卷 1784-1789页
作者： 沈海峰 薛锐 黄河燕 陈肇雄 中国科学技术大学计算机科学技术系 安徽合肥230026 信息安全国家重点实验室(中国科学院软件研究所) 北京100080
现有的串空间模型由于没有抽象更多的密码学原语,因此不能分析较复杂的安全协议.希望通过对串空间理论的扩展使其充分地表达较多的密码学原语,以满足分析复杂安全协议的需要.对入侵串轨迹增加了签名、签名验证和HMAC(keyed-hashingforme... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
串空间模型中的口令猜测攻击
收藏
分享
引用
北京邮电大学学报 2007年 第1期30卷 62-65页
作者： 龙士工 罗文俊 袁超伟 李祥 贵州大学计算机软件与理论研究所 贵阳550003 北京邮电大学通信网络综合技术研究所 北京100876
给出了鉴别协议猜测攻击的串空间模型.扩充了攻击者串和密码运算类型,重新定义了理想概念,并证明了相关定理.扩展的诚实理想分析模型不仅继承了原理论的有关性质,而且适应猜测攻击的分析.以GLNS协议为例说明了如何利用串空间理论有效地... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于串空间模型的形式化方法的扩展与应用
基于串空间模型的形式化方法的扩展与应用
收藏
分享
引用
作者： 赵自强 成都理工大学
学位级别：硕士
安全协议是实现信息安全的基础,是网络安全通信的核心技术,它的正确性对网络的安全起着非常重要的作用,因此其自身的安全性问题已成为安全研究的重要内容。然而怎样保证安全协议的安全性,怎样设计协议才能使之满足安全性的要求,都是安... 详细信息
来源： 同方学位论文库 同方学位论文库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件