关键词: 无线射频识别, 双向认证, Rabin算法, BAN逻辑, 可扩展性

Abstract: Aiming at the problems of the existing Radio Frequency Identification（RFID） security authentication protocol, such as security flaws, high cost of tags and identification which requires a lot of calculation of database to match requested tag, this paper offers a scalable RFID mutual authentication protocol based on Rabin algorithm and crossover bitwise operation. The correctness and security of the protocol are proved through BAN logic formal analysis method. Security analysis and performance evaluation shows that this protocol has features of anti-counterfeiting, anti-replay, anti-tracking and extendibility. And it reduces the cost of computation and gates, which reduces the cost greatly. It applies to low-cost RFID system.

Key words: Radio Frequency Identification（RFID）, mutual authentication, Rabin algorithm, BAN logic, scalability