北京邮电大学学报
北京郵電大學學報
북경유전대학학보
JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOMMUNICATIONS
2010年
2期
44-47
,共4页
邓淼磊%朱昭%石金娥%周利华
鄧淼磊%硃昭%石金娥%週利華
산묘뢰%주소%석금아%주리화
无线射频识别%标签%不可追踪性%串空间%协议
無線射頻識彆%標籤%不可追蹤性%串空間%協議
무선사빈식별%표첨%불가추종성%천공간%협의
为了形式化分析无线射频识别(RFID)协议中标签的不可追踪性,对串空间模型进行了扩展,引入了分析标签不可追踪性的能力,并给出了不可追踪性的判定定理.基于扩展的串空间模型,对Feldhofer协议和O'-FRAP协议进行了分析.结果表明,Feldhofer协议能实现不可追踪性,O'-FRAP协议对于主动攻击者不能实现不可追踪性.
為瞭形式化分析無線射頻識彆(RFID)協議中標籤的不可追蹤性,對串空間模型進行瞭擴展,引入瞭分析標籤不可追蹤性的能力,併給齣瞭不可追蹤性的判定定理.基于擴展的串空間模型,對Feldhofer協議和O'-FRAP協議進行瞭分析.結果錶明,Feldhofer協議能實現不可追蹤性,O'-FRAP協議對于主動攻擊者不能實現不可追蹤性.
위료형식화분석무선사빈식별(RFID)협의중표첨적불가추종성,대천공간모형진행료확전,인입료분석표첨불가추종성적능력,병급출료불가추종성적판정정리.기우확전적천공간모형,대Feldhofer협의화O'-FRAP협의진행료분석.결과표명,Feldhofer협의능실현불가추종성,O'-FRAP협의대우주동공격자불능실현불가추종성.
