Security analysis and improvement to digital library RFID protocol

Recently, along with the widespread use of various mobile devices in e-commerce, a variety of RFID systems are integrated in mobile devices. Poorly designed security RFID systems will bring a great security risks. This paper reviews the existing RFID system security mechanism and focuses on the digital library RFID security protocol. Security assumptions are changed in the new application environment, leading to a new attack on the original agreement. A security protocol with the mutual authentication function is designed on the basis of the original protocol. The new protocol is compatible with the original protocol, but against new attacks. Formal analysis shows that the new protocol is in accordance with established safety goals.