咨询与建议

限定检索结果

文献类型

  • 2 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 1 篇 理学
    • 1 篇 数学
  • 1 篇 工学
    • 1 篇 计算机科学与技术...
    • 1 篇 网络空间安全

主题

  • 2 篇 计算可靠
  • 1 篇 形式化分析
  • 1 篇 密码协议
  • 1 篇 群组密钥协商
  • 1 篇 符号化分析
  • 1 篇 高效
  • 1 篇 通用可组合
  • 1 篇 协议实现

机构

  • 1 篇 海军装备研究院
  • 1 篇 北京理工大学
  • 1 篇 解放军理工大学

作者

  • 1 篇 周海刚
  • 1 篇 廖乐健
  • 1 篇 刘军
  • 1 篇 王峰
  • 1 篇 苑博奥
  • 1 篇 张子剑
  • 1 篇 祝烈煌

语言

  • 2 篇 中文
检索条件"主题词=计算可靠"
2 条 记 录,以下是1-10 订阅
排序:
计算可靠且高效的群组密钥协商协议符号化分析方法
收藏 引用
计算机学报 2012年 第4期35卷 664-672页
作者: 张子剑 祝烈煌 王峰 廖乐健 北京理工大学计算机学院 北京100081 海军装备研究院 北京100161
符号化分析方法将密码原语视为黑盒,且未研究其需要满足的具体安全属性,因而计算可靠性一直备受质疑.而且,这类方法在分析参与者数目较多的群组密钥协商协议时不具有高效性.针对上述两个问题,文中提出了一种计算可靠且高效的群组密钥协... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
第3讲 密码协议研究与发展
收藏 引用
军事通信技术 2017年 第1期38卷 90-96页
作者: 苑博奥 刘军 周海刚 解放军理工大学指挥信息系统学院研究生2队 解放军理工大学指挥信息系统学院
密码协议为网络中信息共享提供基础的安全环境,对保证网络被安全可靠的使用具有重要作用。文章阐述了密码协议的概念,分析了密码协议设计与分析所面临的困境,介绍了密码协议计算可靠和面向协议实现的形式化分析方法,对密码协议的研究与... 详细信息
来源: 同方期刊数据库 同方期刊数据库 评论