首页|期刊导航|计算机应用研究|基于Tamarin的MQTT协议安全性分析方法

基于Tamarin的MQTT协议安全性分析方法

郑红兵王焕伟赵琪董姝岐井靖

计算机应用研究2023，Vol.40Issue(10)：P.3132-3137,3143,7.

计算机应用研究2023，Vol.40Issue(10)：P.3132-3137,3143,7.DOI:10.19734/j.issn.1001-3695.2023.02.0038

郑红兵 ¹王焕伟 ¹赵琪 ¹董姝岐 ¹井靖¹

作者信息

MQTT协议/保密属性/认证属性/形式化分析/Tamarin

信息技术与安全科学

郑红兵,王焕伟,赵琪,董姝岐,井靖..基于Tamarin的MQTT协议安全性分析方法[J].计算机应用研究,2023,40(10):P.3132-3137,3143,7.

国家重点研发项目(2019QY502)。（2019QY502）

OA北大核心CSCDCSTPCD

ISSN：1001-3695

访问量2

下载量0

段落导航