基于物理不可克隆函数的车云轻量级匿名认证协议.pdfVIP

专题：低空智联网与低空安全

基于物理不可克隆函数的车云轻量级匿名认证协议

111211

柳亚男，曹磊，张正，李戈，邱硕，王苏豪

（1.金陵科技学院网络安全学院，江苏南京211169；

2.中国人民解放军陆军工程大学指挥控制工程学院，江苏南京210007）

摘要：针对低空经济中车辆与云端应用服务器的通信场景，提出基于PUF-ECC-Kerberos的轻量级车云匿名

认证协议PEKE。该协议利用物理不可克隆函数（physicalunclonablefunction，PUF）改进传统Kerberos的认

证模式，结合椭圆曲线密码学（ellipticcurvecryptography，ECC）算法获得车辆假名，实现车辆与云服务器

之间的双向匿名认证和密钥交换。结合Scyther形式化分析工具验证，该协议不仅能够有效抵御密钥泄露、伪

装攻击、中间