检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:邓淼磊[1,2] 朱昭[3] 石金娥[2] 周利华[1]
机构地区:[1]西安电子科技大学计算机学院,西安710071 [2]解放军信息工程大学理学院,郑州450001 [3]河南工业职业技术学院电子工程系,河南南阳473009
出 处:《北京邮电大学学报》2010年第2期44-47,共4页Journal of Beijing University of Posts and Telecommunications
基 金:国家自然科学基金项目(60573036)
摘 要:为了形式化分析无线射频识别(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.
分 类 号:TP309[自动化与计算机技术—计算机系统结构]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:18.191.103.248