基于物理不可克隆函数的小区重选安全协议设计

来源：计算机工程杂志2018年第11期北京时间：

作者：杨建喜,张悦,池亚平,许萍

单位：1.北京电子科技学院 通信工程系,北京 100070; 2.中国科学院信息工程研究所 网络测评技术重点实验室,北京 100093

摘要：小区重选算法是决定终端能否持续获得良好服务的关键技术,设计一种增强小区重选算法安全性的协议,使用户的信号质量和通信安全同时得到保障至关重要。为此,基于物理不可克隆函数提出一种小区重选算法安全协议,达到仅经过三轮交互即完成认证的目的。以同频小区重选为例描述协议的具体过程,并通过GNY逻辑进行形式化分析,证明其能实现用户设备和基站的双向认证,同时可抵抗克隆攻击、重放攻击和中间人等攻击,具有较好的安全性和保密性。

关键词：小区重选,物理不可克隆函数,双向认证,安全协议,GNY逻辑

基金资助：国家发改委信息安全专项(发改办高技［2015］289号);国家高技术研究发展计划项目(2015AA017202)