咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

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

主题

  • 2 篇 安全协议代码
  • 1 篇 认证性
  • 1 篇 形式化分析
  • 1 篇 符号执行
  • 1 篇 模型学习
  • 1 篇 状态驱动
  • 1 篇 模型抽取

机构

  • 1 篇 网络密码技术河南...
  • 1 篇 中南民族大学
  • 1 篇 数学工程与先进计...

作者

  • 1 篇 张协力
  • 1 篇 祝跃飞
  • 1 篇 陈伟
  • 1 篇 陈熹
  • 1 篇 顾纯祥

语言

  • 2 篇 中文
检索条件"主题词=安全协议代码"
2 条 记 录,以下是1-10 订阅
排序:
模型学习与符号执行结合的安全协议代码分析技术
收藏 引用
网络与信息安全学报 2021年 第5期7卷 93-104页
作者: 张协力 祝跃飞 顾纯祥 陈熹 数学工程与先进计算国家重点实验室 河南郑州450001 网络密码技术河南省重点实验室 河南郑州450002
符号执行技术从理论上可以全面分析程序执行空间,但对安全协议这样的大型程序,路径空间爆炸和约束求解困难的局限性导致其在实践上不可行。结合安全协议程序自身特点,提出用模型学习得到的协议状态机信息指导安全协议代码符号执行思路;... 详细信息
来源: 评论
基于计算模型自动化验证安全协议Java代码认证性
基于计算模型自动化验证安全协议Java代码认证性
收藏 引用
作者: 陈伟 中南民族大学
学位级别:硕士
随着信息时代的发展,人们越来越关注隐私数据的保护,信息安全问题变得越来越突出。安全协议作为网络通信中保证数据安全传输的基石,其安全性与有效性成为大众关注的热点,也是安全协议研究者的研究重点。形式化方法是分析与验证安全... 详细信息
来源: 评论