摘要：在许多射频识别（RFID）应用中，经常需要在多个标签中确定某个特定标签是否存在。在这种环境下，标签查询协议必不可少。然而，已有的协议要么存在安全漏洞，要么查询效率低下。利用Hash函数和时间戳，提出一个无后台服务器的RFID标签查询协议。GNY逻辑被用于证明新协议的正确性。分析显示提出的协议可以高效的实现特定标签的查询，且能够抵抗一些主要攻击，实现对标签隐私的保护。

关键词：射频识别 查询协议 gny逻辑 追踪攻击 

单位：北京邮电大学信息安全中心 北京100876 灾备技术国家工程实验室 北京100876 电子信息控制重点实验室 成都610036