计算机应用 ›› 2011, Vol. 31 ›› Issue (03): 798-800.DOI: 10.3724/SP.J.1087.2011.00798

• 信息安全 • 上一篇    下一篇

Molnar协议的安全性证明

邓强东,王立斌   

  1. 华南师范大学 计算机学院,广州 510631
  • 收稿日期:2010-07-19 修回日期:2010-09-16 发布日期:2011-03-03 出版日期:2011-03-01
  • 通讯作者: 邓强东
  • 作者简介:邓强东(1985-),男,广东梅州人,硕士研究生,主要研究方向:密码学、网络安全;王立斌(1972-),男,广东龙门人,副教授,博士,主要研究方向:密码学、网络安全。

Security proof of Molnar protocol

DENG Qiang-dong,WANG Li-bin   

  1. School of Computer, South China Normal University, Guangzhou Guangdong 510631, China
  • Received:2010-07-19 Revised:2010-09-16 Online:2011-03-03 Published:2011-03-01
  • Contact: DENG Qiang-dong

摘要: Molnar协议是射频识别(RFID)系统中读写器与标签之间的双边认证协议,同时强调能够保护标签的位置隐私,而协议安全性尚未得到形式化的分析和证明。在eHa模型下,严格地证明了Molnar协议具有不可预测的强隐私性,并得到确切的安全界。协议的证明使用了基于Game的方法,将协议的隐私性紧致地归约到伪随机函数的输出与随机函数的输出多项式时间不可区分的假设上,对分析和解决RFID系统安全性问题有效而通用。

关键词: 射频识别, 安全模型, 强隐私性, 可证明安全

Abstract: Molnar protocol is a scheme for mutual authentication between tags and readers in Radio Frequency Identification (RFID) system, which emphasizes protecting privacy for the tag; however, its security has not been proved formally. By using the eHa model, a formal proof was given, in which the output of the Molnar protocol maintain unpredictable, denoted as un-privacy. Moreover, the accurate security boundary of the Molnar protocol was computed. The privacy of protocol was reduced tightly on the assumption that the output of pseudorandom functions was indistinguishable from the output of random functions in polynomial time by utilizing the game-based technique. This technique is a powerful tool for analyzing and solving the privacy problem of RFID system, and provides an effective and universal solution.

Key words: Radio Frequency Identification (RFID), security model, strong privacy, provable security

中图分类号: