电信科学 ›› 2010, Vol. 26 ›› Issue (8): 42-46.doi: 10.3969/j.issn.1000-0801.2010.08.009

• 研究与开发 • 上一篇    下一篇

可证明安全的RFID通信安全协议

蔡庆玲1,詹宜巨1,刘洋2   

  1. 1 中山大学工学院 广州 510275
    2 中山大学信息科学与技术学院 广州 510275
  • 出版日期:2010-08-15 发布日期:2010-08-15
  • 基金资助:
    广东省基金资助项目

Provably Secure Authentication Protocol for RFID

Qingling Cai1,Yiju Zhan1,Yang Liu2   

  1. 1 School of Engineering, Sun Yat-sen University, Guangzhou 510275, China;
    2 School of Information Science and Technology, Sun Yat-sen University, Guangzhou 510275, China
  • Online:2010-08-15 Published:2010-08-15

摘要:

通过对RFID系统特殊安全问题的系统研究,从可证明安全论证的角度出发,本文提出了一种可证明安全的RFID通信安全协议——rPAP。在随机预言模型下,使用形式化描述方式,系统地建立了RFID通信安全模型,并在该模型下,形式化地论证了rPAP协议的安全性。该协议适用于一般的RFID系统。

关键词: RFID, 可证明安全, 随机预言模型, 哈希函数

Abstract:

By studying the issues of special security of RFID system, from the provably secure point of view, the paper proposes a provably secure authentication protocol for RFID——rPAP. Under the random oracle mode, the paper establishes the security model of RFID communication with the formal description, which security was proved in the security model of RFID communication, and its implementation is feasible for a wide range of RFID systems.

Key words: RFID, provable security, random oracle mode, hash

No Suggested Reading articles found!