虫虫首页| 资源下载| 资源专辑| 精品软件
登录| 注册

您现在的位置是:虫虫下载站 > 资源下载 > 技术资料 > 基于GSPM的安全协议检验工具

基于GSPM的安全协议检验工具

  • 资源大小:199 K
  • 上传时间: 2023-12-20
  • 上传用户:kid1423
  • 资源积分:2 下载积分
  • 标      签: GSPM

资 源 简 介

介绍一个基于GSPM的安全协议验证的图形化工具。验证工具以GSPM模型为基础形式化地描述了安全协议,并引进线性时序逻辑刻画了安全协议的性质,用基于状态搜索的模型检测方法在安全协议的验证过程中找出漏洞。

相 关 资 源

您 可 能 感 兴 趣 的