“…Further, WUF, CON, INT, UF, FR, RRA, , and VTAT represents warrant unforgeability, confidentiality, integrity, unforgeability, forward secrecy, resists replay attack, random oracle model, and validation through the AVISPA tool, respectively. The schemes TBKAV [1], LXKXD [2], CYL [39], and HZJX [40] do not satisfy the security properties of FR, RRA, and the security requirements are proven using , which is not practical in a real scenario. The scheme QTLG [38] does not satisfy RRA property.…”