关键词: 物联网, 射频识别, Rabin算法, BAN形式化分析, 双向认证

Abstract: In the application of Internet of things, the existing RFID mutual authentication protocol exists the problems that authentication efficiency is low and it has security flaws, this paper proposes a RFID mutual authentication protocol that satisfies backward security, by Rabin operation of one-way encryption algorithm, to solve the problem of synchronization and later to the privacy. Using random number to keep the label information of freshness, BAN logic method is used to the formal agreement. This kind of agreement with the existing security authentication protocol security and cost comparison, the results show that this protocol not only prevents the tracking, resists brute force, prevents replay attack et al, but also for reduction of gate, makes cost down, suitable for low-cost RFID system.

Key words: Internet of things, Radio Frequency Identification（RFID）, Rabin algorithm, BAN formal analysis, mutual authentication