|国家科技期刊平台
| 注册
首页|期刊导航|信息安全研究|RFID认证协议安全性模型检测验证方法

RFID认证协议安全性模型检测验证方法

贾昊洲 徐鹏 王丹琛 徐扬

信息安全研究2024，Vol.10Issue(11)：P.1043-1048,6.
✕
信息安全研究2024，Vol.10Issue(11)：P.1043-1048,6.DOI:10.12379/j.issn.2096-1057.2024.11.09

RFID认证协议安全性模型检测验证方法

贾昊洲 1徐鹏 1王丹琛 2徐扬1

作者信息

  • 1. 系统可信性自动验证国家地方联合工程实验室,成都611756 西南交通大学数学学院,成都611756
  • 2. 系统可信性自动验证国家地方联合工程实验室,成都611756 四川省数字经济研究中心,成都611756
  • 折叠

摘要

关键词

RFID/认证协议/模型检测/NuSMV/形式化验证

分类

信息技术与安全科学

引用本文复制引用

贾昊洲,徐鹏,王丹琛,徐扬..RFID认证协议安全性模型检测验证方法[J].信息安全研究,2024,10(11):P.1043-1048,6.

基金项目

中央高校基本科研业务费专项资金项目(2682021GF012)。 （2682021GF012）

信息安全研究

OA北大核心CSTPCD

2096-1057

访问量0
|
下载量0
段落导航相关论文