We formally prove the semantic security of the proposed protocol using ROR model. Further, we provide an informal analysis of the proposed design to illustrate the resistance of various possible attacks and meets important security criteria.
An efficient ECC and fuzzy verifier based user authentication protocol for IoT enabled WSNs
