1、目前很多RFID系統(tǒng)安全協(xié)議，雖然解決了一些實際中RFID系統(tǒng)中存在的安全漏洞，但是大部分RFID系統(tǒng)安全協(xié)議在設計完成后，并沒有選用嚴謹?shù)摹⒖煽康倪壿嬐茖プC明協(xié)議的安全性，僅靠一些經(jīng)驗分析說明能否抵御已知的部分攻擊；同時這些協(xié)議都假設標簽可以計算Hash函數(shù)，實現(xiàn)AES算法或者非對稱加密操作，這種假設和實際應用是不符的?，F(xiàn)階段 RFID系統(tǒng)中的標簽多為低成本無源標簽，這類標簽是無法承受復雜的計算操作的。
　　為了更好地保護RF

2、ID系統(tǒng)安全，本文設計了基于二次剩余的多RFID標簽認證協(xié)議，并利用適宜的形式化分析方法對設計的協(xié)議進行理論分析，證明協(xié)議可以滿足RFID系統(tǒng)特定的安全需求?？梢允篃o源低成本RFID標簽在EPC Global Class1 Gen2標準下，在有限的存儲以及計算資源受限的情況下，安全有效地實現(xiàn)與RFID讀寫器的雙向認證。EPC Global標準下，針對RFID系統(tǒng)存在的信息安全及隱私保護問題，分析RFID系統(tǒng)雙向認證協(xié)議的設計需要，設計基