【作者】 刘佳；

【导师】 许光全；

【作者基本信息】 天津大学 ， 计算机科学与技术， 2018， 硕士

【摘要】 随着物联网和信息技术的快速发展,越来越多的国家明确了建设智慧城市的目标,以期改善人们的生活环境,提高生活质量。在智慧城市的建设中,智慧交通是很重要的一部分。目前车流量剧增所带来的道路拥堵、交通事故等问题,给人们的生活造成了巨大的生命和财产损失。车载自组织网络(VANET)通过车辆间共享交通状态、天气情况、娱乐服务等信息,能极大提高交通的安全性和效率,是未来重点发展和建设的基础设施之一。但是由于VANET采用无线通信的方式,极易受到各种攻击手段的威胁,因此需要设计严密的认证协议,来识别恶意用户,抵御恶意攻击。本文基于车载自组织网络的结构模型,针对认证协议的安全需求,提出了安全高效的批量认证和群密钥分发协议(Batch Authentication and Group Key DistributionBAGKD)。车辆使用信任中心颁发的假名与路边单元进行通信,实现了车辆的匿名认证,维护了用户的隐私;利用双线性映射的性质,BAGKD实现了消息的批量认证,提高了认证效率;采用分散式群密钥管理方式,进行群密钥的分发,在群成员加入或离开时,及时更新群密钥,适应了频繁变化的动态群组。通过形式化验证和非形式化分析的手段,证明了BAGKD的安全性,满足VANET的安全要求。此外,在计算效率和通信负担方面,通过和其他三个主流协议的对比实验表明,BAGKD的运算速度快、时间开销小、资源消耗少,更适应VANET的短程通信性质。更多还原

【Abstract】 With the rapid development of the Internet of Things and information technology,more and more countries have set clear targets for building smart-city in order to improve people’s living environment and raise living standards.Smart transportation play an importation role in the construction of smart-city.At present,due to the surge in traffic volume,road congestion,traffic accidents and other problems result in huge loss of life and property.VANET can greatly improve traffic safety and efficiency by sharing information such as traffic status,weather conditions and entertainment services between vehicles.It is one of the key infrastructures for future development and construction.However,because VANET adopts wireless communication,it is vulnerable to various attacks.Therefore,it is necessary to design a strict authentication protocol to identify malicious users and resist malicious attacks.Based on the structural model of VANET,this paper proposes a safe and efficient batch authentication and group key distribution protocol(BAGKD).Vehicles use the pseudonym issued by the Trusted Authority to communicate with the roadside unit,which realizes the anonymous authentication and maintains the privacy of users.Besides,batch authentication is realized by utilizing bilinear mapping.The distributed-group-key-management method is used to distribute the group key.When a group member joins or leaves,the group key is updated in time to adapt to the dynamic group.Through the means of formal verification and informal analysis,BAGKD is proved to meet the security requirements of VANET.In addition,in terms of computational efficiency and communication burden,comparison experiments with three other mainstream protocols show that BAGKD has faster computing speed and less resource consumption,and is more suitable for the short-range communication nature of VANET.更多还原