Email Record: Security Analysis of the RFID Authentication Protocol Using Model Checking