S. A. Alfadhli, S. Lu, K. Chen and M. Sebai, "MFSPV: A Multi-Factor Secured and Lightweight Privacy-Preserving Authentication Scheme for VANETs," in IEEE Access, vol. 8, pp. 142858-142874, 2020, doi: 10.1109/ACCESS.2020.3014038.
文章详细内容请移步公众号推文。
安全性分析
采用Burrows-Abadi-Needham(BAN)逻辑进行分析。
更多细节请阅读原文。