信息网络安全 ›› 2019, Vol. 19 ›› Issue (12): 64-71.doi: 10.3969/j.issn.1671-1122.2019.12.008

• 技术研究 • 上一篇    下一篇

基于椭圆曲线密码的RFID/NFC安全认证协议

韦永霜1(), 陈建华1, 韦永美2   

  1. 1.武汉大学数学与统计学院,湖北武汉 430000
    2.广州地铁设计研究院股份有限公司,广东广州 510010
  • 收稿日期:2019-06-12 出版日期:2019-12-10 发布日期:2020-05-11
  • 作者简介:

    作者简介:韦永霜(1994—),女,广西,硕士研究生,主要研究方向为密码与信息安全、认证协议;陈建华(1963—),男,湖北,教授,博士,主要研究方向为数论与密码、椭圆曲线密码、格密码理论等;韦永美(1987—),女,广西,工程师,硕士,主要研究方向为地下工程、BIM协同平台研究。

  • 基金资助:
    国家重点研发计划[2017YFB1201102]

Security Authentication Protocol for RFID/NFC Based on Elliptic Curve Cryptography

Yongshuang WEI1(), Jianhua CHEN1, Yongmei WEI2   

  1. 1.School of Mathematics and Statistics, Wuhan University, Wuhan Hubei 430000, China
    2. Guangzhou Metro Design and Research Institute Co., Ltd., Guangzhou Guangdong 510010, China
  • Received:2019-06-12 Online:2019-12-10 Published:2020-05-11

摘要:

文章设计了一种基于椭圆曲线密码的RFID/NFC安全认证协议。该协议不仅满足RFID系统最基本的相互认证、机密性、匿名性等性质,且能抵抗跟踪攻击、假冒攻击、拒绝服务攻击等各类攻击。不同于绝大多数RFID认证协议,该协议实现了标签和阅读器都兼具读写功能以及点对点通信,因此也适用于由RFID技术和互联互通技术整合演变而来的NFC系统。除此之外,该协议协商出了为后续通信、读取、修改数据等提供保障的双方公共的秘密密钥。文章利用串空间模型从相互认证性和机密性两方面对协议进行了形式化证明。结果表明,文章协议是一个可用于通信的RFID/NFC系统的安全认证协议。

关键词: RFID/NFC, 椭圆曲线密码, 串空间理论, 认证协议

Abstract:

This paper designs a RFID/NFC security authentication protocol based on elliptic curve cryptography. The protocol not only satisfies the most basic characteristics of RFID system, such as mutual authentication, confidentiality, anonymity and others, but also resists tracking attack, spoofing attack, denial of service attack, etc. Different from most RFID authentication protocols, the protocol implements both reading and writing functions for tags and readers and peer-to-peer communication, so it is also suitable for NFC system evolved from the integration of RFID technology and interoperability technology. In addition, the protocol negotiates the public secret key of both parties to guarantee the subsequent communication, reading, modifying data, etc. This paper uses the strand space model to formally prove the protocol from two aspects of mutual authentication and confidentiality. The results show that the protocol is a secure authentication protocol for a communicable RFID/NFC system.

Key words: RFID/NFC, elliptic curve cryptography, strand space theory, authentication protocol

中图分类号: