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