Can Formal Security Verification Really Be Optional? Scrutinizing the Security of IMD Authentication Protocols
形式化安全验证真的可以可有可无吗？深入剖析IMD认证协议的安全性
期刊:Sensors
影响因子:3.5
doi:10.3390/s21248383
Duguma, Daniel Gerbi; You, Ilsun; Gebremariam, Yonas Engida; Kim, Jiyoon
