轻量级安全通信框架，结合可解释人工智能技术，用于实现可信的医疗数据分析

《Machine Learning with Applications》：Lightweight secure communication framework with eXplainable artificial intelligence for trustworthy healthcare analytics

　　

摘要译文： 研究人员提出一种适用于无线体域网(Wireless Body Area Network, WBAN)中植入式医疗设备(Implantable Medical Device, IMD)与远程云端通信场景的轻量级匿名相互认证与密钥协商(Lightweight Anonymous Mutual Authentication and Key Agreement, AMKA)协议。鉴于IMD资源严重受限且无线通信暴露于开放信道，现有方案难以兼顾强隐私保护、抗各类已知攻击(如重放攻击、假冒攻击、中间人攻击及去同步化攻击)与低计算开销。所提协议引入物理不可克隆功能(Physical Unclonable Function, PUF)生成设备指纹，结合高级加密标准(Advanced Encryption Standard, AES-CBC-256)与单向哈希函数(Hash function, h(·))实现IMD、个人服务器(Personal Server, PS)与云服务器(Cloud Server, CS)三方双向认证与会话密钥建立，并通过动态临时身份(Temporary Identity, TIDIMDi、TIDPSj)更新机制实现匿名性与可追踪性平衡。形式化验证采用BAN(Burrows–Abadi–Needham)逻辑与AVISPA(Automated Validation of Internet Security Protocols and Applications)工具证明协议满足预期安全目标，非形式化安全分析表明其可抵御已知典型攻击；性能评估显示相较近期同类方案，本方案在计算时延与通信开销上具显著优势，适合资源受限WBAN-IMD环境部署。

论文解读：

研究背景与意义

无线体域网(Wireless Body Area Network, WBAN)中植入式医疗设备(Implantable Medical Device, IMD)如心脏起搏器、除颤器等可通过无线链路与个人服务器(Personal Server, PS)、云服务器(Cloud Server, CS)交换生理数据或接收配置指令。由于IMD计算能力弱、存储空间小、能量受限，且无线信道天然开放，面临隐私泄露、非法接入、消息篡改与重放等严峻安全威胁。传统公钥密码体制(如RSA、ECC)在IMD上功耗过高，而早期对称轻量级方案往往缺乏完善的匿名性、无法抵抗物理克隆攻击或未提供严格的形式化安全证明。此外，现有部分协议未考虑IMD-PS-CS三层架构下的端到端相互认证。因此，研究人员开展此项研究，旨在设计一种基于物理不可克隆功能(Physical Unclonable Function, PUF)的轻量级匿名相互认证与密钥协商(Authentication and Key Exchange, AKE)协议，在保障IMD隐私与通信安全的同时将计算及通信开销降至最低，并通过BAN逻辑与AVISPA工具给予形式化安全验证。该文发表于《Machine Learning with Applications》。

关键技术方法

研究人员采用PUF(Physical Unclonable Function)为每个IMD和PS生成唯一不可克隆挑战-响应对(Challenge-Response Pair, CRP)，作为设备根密钥材料；注册阶段由CS安全存储各PS的解密密钥K_CS及经PUF响应加密的IMD/PS秘密参数(U_IMDi、rn_IMDi等)。认证与密钥协商(AKE)分两阶段进行——IMD与PS间AKE及PS与CS间AKE，均含时间戳(Time Stamp, TS)新鲜性校验、哈希(Message Authentication Code via hash, h(·))认证标签校验、AES-CBC-256对称加解密隐藏随机数，并利用XOR运算传递盲化随机数以协商会话密钥(Session Key, SK)；双方通过动态更新临时身份标识符(Temporary Identity, TID旧值保留为TID^o，新密文存为TIDⁿ=C₁)实现前向匿名与抗追踪。形式化分析采用BAN(Burrows–Abadi–Needham)逻辑推导信念目标，并用AVISPA(Automated Validation of Internet Security Protocols and Applications)在OFMC与CL-AtSe后端下模拟验证协议安全性；性能对比选取近期5篇同类WBAN认证方案，统计Hash、PUF、对称加密与XOR运算次数及总比特通信量，并以MicaZ节点仿真估算IMD端时延。

研究结果

4.1. 注册阶段(Registration Phase)

IMD_i在出厂时写入PUF挑战C_IMDi并计算响应R_IMDi=PUF(C_IMDi)，生成混淆因子X_IMDi，得假名RID_IMDi=X_IMDi⊕R_IMDi及加密密钥Z_IMDi=h(R_IMDi)，分配初始临时身份TID_IMDi，参数存入IMD本地；PS_j和CS做类似处理并互存参数。研究人员由此得出结论：注册阶段确保只有经合法注册的实体可被后续认证，且CS持有解密所有PS/IMD封装材料的主密钥K_CS，符合分层信任模型。

4.2. 认证与密钥交换阶段(Authentication and Key Exchange Phase)

4.2.1. IMD_i与PS_j之间的AKE

IMD发起：计算PUF响应获Z_IMDi，生成随机nonce rn₁, rn₂，用Z_IMDi加密rn₂得密文CT，构造认证标签AT₁=h(rn₁‖rn₂‖Z_IMDi‖RID_IMDi‖TS₁)，发送{M_1AKE1: TID_IMDi, rn₁, CT, AT₁, TS₁}。PS收到后验时间戳、查库得对应U_IMDi、rn_IMDi，用自身PUF响应解密获(Y_IMDi‖RID_IMDi)及rn₂，重构AT₂比对通过则认证IMD；PS再生成rn₃，用Y_IMDi加密(rn₂, rn₃‖RID_IMDi)得(C₁‖C₂)，设W_SPj=rn₂⊕rn₃，更新TID_IMDi^o与TID_IMDiⁿ=C₁，SK_PSj,IMDi=C₂，回送{W_SPj, AT₃, TS₂}。IMD验证时间戳与AT₃后提取rn₃=rn₂⊕W_SPj，用Z_IMDi加密得新TID密文C₃及SK=C₄，更新本地TID与SK。研究人员得出结论：该四步挑战-响应流程实现IMD?PS双向认证，动态TID防止身份追踪，双方独立算出匹配会话密钥SK_IMDi,PSj=SK_PSj,IMDi，且旧TID被安全覆盖。

4.2.2. PS_j与CS之间的AKE

结构与IMD-PS的AKE完全对称，PS充当发起方，CS用主密钥K_CS解密存于库的PS/IMD封装材料获Y_PSj，完成双向认证、TID_PSj滚动更新与会话密钥SK_PSj,CS建立。研究人员得出结论：协议可无缝扩展至PS-CS层，确保WBAN与云端的安全通道建立。

4.3. 安全分析(Security Analysis)

非形式化分析逐项论证协议具备：匿名性与不可追踪性(靠动态TID与不含明文ID的报文)、相互认证(Mutual Authentication)、已知会话密钥安全性(Forward Secrecy靠每轮新nonce与PUF响应参与)、抗重放(时间戳)、抗中间人(Man-in-the-Middle, MitM靠哈希认证标签绑定全参数)、抗冒充(Impersonation靠PUF绑定设备及正确解密)、抗去同步化(旧新TID双匹配机制)。BAN逻辑形式化推演证明发起方与响应方最终均相信对方拥有共享会话密钥及消息新鲜性。AVISPA仿真在OFMC与CL-AtSe下返回"SAFE"，确认无中间人、重放及类型缺陷攻击。研究人员据此得出结论：本协议满足WBAN-IMD场景下全部预期安全属性。

4.4. 性能评估(Performance Evaluation)

对比5种近期方案，本协议IMD端仅需2次Hash、1次PUF、1次AES加密、少量XOR，总计算时延约6.84 ms(MicaZ仿真)，低于对照方案(最低对照约11 ms)；通信开销为|TID|+|rn₁|+|CT|+|AT|+时间戳≈208 bits，属最低档位之一。研究人员得出结论：所提协议在维持高安全等级同时显著降低IMD侧计算与通信负担，适合实际植入设备部署。

讨论与结论

研究人员指出，现有WBAN认证协议常因使用公钥运算或过简对称结构而在安全性或效率上存在短板。本文所提基于PUF的轻量级匿名相互认证与密钥协商(AMKA)协议通过三层实体(IMD-PS-CS)双向认证设计、动态临时身份更新及形式化验证，解决了IMD隐私保护、抗物理克隆与已知网络攻击间的平衡难题。主要结论为：(1)协议借助PUF消除IMD端静态密钥存储风险，以低成本对称原语达成相互认证与会话密钥协商；(2)BAN逻辑与AVISPA工具验证协议形式化安全；(3)性能评估表明本方案计算时延与通信比特数均优于近期同类方案，满足资源受限IMD实际应用需求。该工作为WBAN中植入式医疗设备的安全通信提供了一种经严格验证的高效解决方案。