咨询与建议

限定检索结果

文献类型

  • 1 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

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

主题

  • 1 篇 递归认证测试
  • 1 篇 形式化分析方法
  • 1 篇 串空间
  • 1 篇 sip协议

机构

  • 1 篇 江南计算技术研究...

作者

  • 1 篇 姚萌萌
  • 1 篇 洪瑜平
  • 1 篇 王宇

语言

  • 1 篇 中文
检索条件"主题词=递归认证测试"
1 条 记 录,以下是1-10 订阅
排序:
基于递归认证测试的SIP协议形式化分析
收藏 引用
信息网络安全 2024年 第10期24卷 1586-1594页
作者: 姚萌萌 王宇 洪瑜平 江南计算技术研究所 无锡214063
文章以形式化分析方法证明协议安全为研究目的,以具有灵活性、开放性、可伸缩性等特性的SIP协议为研究对象,运用基于串空间理论改进的递归认证测试形式化分析方法,分析了一种BAN逻辑证明安全的SIP身份认证协商协议,发现了该协议执行过... 详细信息
来源: 评论