信息网络安全
基于Tamarin的门罗币支付协议分析方法
李雨昕, 黄文超, 王炯涵, 熊焰
Analysis Method of Monero Payment Protocol Based on Tamarin
LI Yuxin, HUANG Wenchao, WANG Jionghan, XIONG Yan
信息网络安全 . 2024, (5): 756 -766 .  DOI: 10.3969/j.issn.1671-1122.2024.05.009