Due to cyber attacks targeting RFID systems, this paper briefly summarizes parts 3 and 4 of the ISO/IEC 14443 standard, which specify the initialization, selection, and trans-mission protocols in high-frequency RFID smart-card and reader communication. The communication has been modeled, and two experiments have been performed using a security protocol ana-lyzer tool called Scyther. The protocol verification results shows that implementing Random UID can prevent many RFID attacks, such as eavesdropping and replay attacks and successfully protect the cardholder's privacy. © 2023 IEEE.