信息安全研究 ›› 2025, Vol. 11 ›› Issue (12): 1134-.

• 学术论文 • 上一篇    下一篇

无线医疗传感器网络中基于PUF的轻量级 匿名认证协议

王雄李伟麟王志强付成龙张泽昊王文博
  

  1. (北京电子科技学院网络空间安全系北京100070)
  • 出版日期:2025-12-12 发布日期:2025-12-04
  • 通讯作者: 李伟麟 硕士研究生.主要研究方向为密码协议、漏洞挖掘. hs_lwl@qq.com
  • 作者简介:王雄 硕士,副教授.主要研究方向为密码协议、密码系统. bjwxong@163.com 李伟麟 硕士研究生.主要研究方向为密码协议、漏洞挖掘. hs_lwl@qq.com 王志强 博士,副教授.主要研究方向为网络攻防、漏洞挖掘. wangzq@besti.edu.cn 付成龙 硕士研究生.主要研究方向为身份认证、拟态防御. fcl2000@foxmail.com 张泽昊 硕士研究生.主要研究方向为身份认证协议. 2685425775@qq.com 王文博 硕士研究生.主要研究方向为密码协议、漏洞挖掘. wang1799101314@163.com
  • 基金资助:
    中央高校基本科研业务费专项资金项目(3282024056,3282024022,3282023052)

A Lightweight PUFbased Anonymous Authentication Protocol for  Wireless Medical Sensor Networks

Wang Xiong, Li Weilin, Wang Zhiqiang, Fu Chenglong, Zhang Zehao, and Wang Wenbo
  

  1. (Department of Cyberspace Security, Beijing Electronic Science and Technology Institute, Beijing 100070)
  • Online:2025-12-12 Published:2025-12-04

摘要: 针对当前无线医疗传感器节点资源受限、易受攻击等问题,提出了一种面向无线医疗传感器网络的轻量级匿名认证协议.该协议利用网关部署的物理不可克隆函数(physical unclonable function, PUF),实现了医疗专家通过网关与无线医疗传感器节点之间安全的身份认证以及密钥协商.通过ROR Oracle(realorrandom Oracle)模型、Proverif协议分析化工具以及非形式化分析,证明了该协议可实现医疗专家与无线医疗传感器之间的双向认证与会话密钥协商,并且可抵抗常见攻击,具有良好的安全属性.与近年提出的认证协议对比表明,提出的协议计算开销最低,当认证次数达到3500次时,总计算开销优于其他协议22.7%以上.同时,实验表明,该协议具有良好安全属性与轻量级特性,适用于资源受限的无线医疗传感器网络.

关键词: 匿名认证协议, 轻量级, 物理不可克隆函数, 无线医疗传感器网络, 双向认证

Abstract: In response to the current challenges of resource constraints and the vulnerability of wireless medical sensor nodes, this paper proposes a lightweight anonymous authentication protocol specifically designed for wireless medical sensor networks. The protocol utilizes a physical unclonable function (PUF), deployed by the gateway, to facilitate secure authentication and key negotiation between medical experts and wireless medical sensor nodes via the gateway. The Proverif protocol analysis tool, the ROR Oracle model and nonformal analysis demonstrate that this protocol achieves mutual authentication and session key negotiation between medical specialists and wireless medical sensors, and is resistant to common attacks with good security properties. A comparison of the proposed protocol with other authentication protocols from recent years reveals that it has the lowest computational costs, with the total computational costs outperforming other protocols by more than 22.7% when the number of authentication times reaches 3500. Furthermore, experiments demonstrate that the protocol has good security attributes and lightweight characteristics, making it suitable for resourceconstrained wireless medical sensor networks.

Key words: anonymous authentication protocol, lightweight, physical unclonable function (PUF);, wireless medical sensor network

中图分类号: