Fig. 8From: An elliptic curve cryptosystem-based secure RFID mutual authentication for Internet of things in healthcare environmentEntered codes into the AVISPA softwareBack to article page