基于Java程序验证医疗系统RFID协议的抗跟踪能力

作者：陈秀清; 胡俊峰^*; 马凯; 耿德勤; 袁洋; 刘伟; 朴雪; 张红伟; 朱婷婷; 郝杰

来源：中国医疗器械信息, 2018, 24(13): 18-24.

DOI：10.15971/j.cnki.cmdi.2018.13.008

• 无线射频识别
• 认证协议
• Vaudenay模型
• 追踪攻击

基于RFID系统在医疗应用中的作用以及在医疗体系中的关键角色,研究提出了基于移动医疗环境的RFID协议,采用Vaudenay模型对协议进行形式化分析。提出一种适用于移动医疗的基于Hash运算的RFID双向认证协议,基于JAVA程序证明了新协议具有强大的抗追踪能力。

• 单位
  徐州医科大学