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

限定检索结果

文献类型

  • 1 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 网络空间安全

主题

  • 1 篇 scyther
  • 1 篇 协议分析
  • 1 篇 akc攻击
  • 1 篇 saka和aka协议
  • 1 篇 形式化分析

机构

  • 1 篇 中国科学院信息工...
  • 1 篇 洛阳外国语学院

作者

  • 1 篇 杨忠霖
  • 1 篇 陆思奇
  • 1 篇 程庆丰

语言

  • 1 篇 中文
检索条件"主题词=SAKA和AKA协议"
共 1 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
形式化分析工具Scyther性能研究
形式化分析工具Scyther性能研究
收藏
分享
引用
第十九届全国青年通信学术年会
作者： 陆思奇 杨忠霖 程庆丰 洛阳外国语学院语言工程系 中国科学院信息工程研究所 信息安全国家重点实验室
形式化分析方法已经成为安全协议分析的主流方法之一。安全协议形式化分析工具的性能优劣直接影响工具的分析结果和效率。Scyther软件是一种功能较强的协议形式化分析工具,它的出现极大地促进了协议分析的分析和设计。本文通过Scyther与... 详细信息
来源： cnki会议 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件