RFID安全协议追踪攻击的形式化分析.pdf
文中针对当前RFID安全协议可能存在的恶意追踪问题,文章提出了一个追踪攻击的形式化分析模型.该模型首先定义了攻击者消息元素集合的概念,之后根据攻击者消息元素集合中消息使用的代数运算,推导出攻击者的攻击行为,并由此确定攻击者行为集合.通过攻击者元素集合和攻击者行为集合,规范了攻击者攻击行为和攻击对象.之后通过引入标签特征值的概念,确定了RFID安全协议存在追踪攻击的条件,明确了攻击者发起追踪攻击的目标.最后,使用该模型对一个RFID安全协议进行了分析,计算出了该协议的标签特征值,由此发现了新的追踪攻击,证明了模型的可靠性.
作者：杨元原陆臻顾健
作者单位：公安部第三研究所检测中心,上海200031
母体文献：第30次全国计算机安全学术交流会论文集
会议名称：第30次全国计算机安全学术交流会
会议时间：2015年9月17日
会议地点：重庆
主办单位：中国计算机学会
语种：chi
分类号：
关键词：射频识别 安全协议 追踪攻击 标签特征值
在线出版日期：2016年10月27日
基金项目：
相似文献
相关博文
- 文件大小:
- 258.22 KB
- 下载次数:
- 60
-
高速下载
|
|
