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

贾昊洲, 徐鹏, 王丹琛, 徐扬,

Research on Security Verification of RFID Authentication Protocol #br# Based on Model Checking#br#

信息安全研究 . 2024, (11): 1043 .