摘要
为了形式化分析无线射频识别(RFID)协议中标签的不可追踪性,对串空间模型进行了扩展,引入了分析标签不可追踪性的能力,并给出了不可追踪性的判定定理.基于扩展的串空间模型,对Feldhofer协议和O′-FRAP协议进行了分析.结果表明,Feldhofer协议能实现不可追踪性,O′-FRAP协议对于主动攻击者不能实现不可追踪性.
For formally analyzing untraceability of tags in radio frequency identification protocols,the strand space model is extended so that it can be applied to analyze untraceability.The theorems about untraceability are also given.Based on the extended strand space model,Feldhofer protocol and O＇-FRAP protocol are analyzed.It shows that Feldhofer protocol is untraceable.On the contrary,O＇-FRAP protocol is traceability for active attackers.
出处
《北京邮电大学学报》
EI
CAS
CSCD
北大核心
2010年第2期44-47,共4页
Journal of Beijing University of Posts and Telecommunications
基金
国家自然科学基金项目(60573036)
关键词
无线射频识别
标签
不可追踪性
串空间
协议
radio frequency identification
tag
untraceability
strand space
protocol
