基于伪ID的RFID认证协议及串空间证明.PDFVIP

Vo 1. 44 No. 10 第 44 卷第10 期 计算机科学 2017 年 10 月 COMPUTER SCIENCE Oct.2017 基于伪 ID 的 RFID 认证协议及串空间证明 徐扬苑津莎高会生胡晓宇赵振兵 (华北电力大学电气与电子工程学院 保定 071003) 摘 要 安全有效的认证协议是对RFID 系统安全的有力保障，适宜的形式化分析方法能为 RFID 认证协议提供有效 的证明。设计了基于伪 ID 的 RFID认证协议，伪 ID 由标签 ID、标签认证数值和随机数产生。标签 ID 不出现在协议 执行过程中，减少了系统适受攻击的可能性。协议通过标签 ID、标签认证值和随机数的 Hash 运算实现认证。利用串 空间模型对协