RFID标签的不可追踪性 (2010年)

为了形式化分析无线射频识别( RFID)协议中标签的不可追踪性,对串空间模型进行了扩展,引入了分析标 签不可追踪性的能力,并给出了不可追踪性的判定定理。基于扩展的串空间模型,对 Feldhofer协议和 O′-FRAP协 议进行了分析。结果表明,Feldhofer协议能实现不可追踪性,O′-FRAP协议对于主动攻击者不能实现不可追踪性。