随着车辆自组网络（Vehicular Ad-hoc Networks,VANETs）和云计算的发展,衍生出许多针对车辆用户的移动服务。然而,道路条件的变化导致车辆用户对服务的需求也在跟着变化。同时,车辆所产生的数据量急剧增加,直接增加了数据处理的难度。一方面,由于云服务器的数据中心是部署在远离VANETs的地方,大量的数据给云服务器带来了计算压力,因此会存在带宽消耗、延迟、计算成本高、信息安全隐患等问题。基于云的雾计算是一种很重要的技术,可以减少因为云服务器处理数据时所产生的数据传输延迟、带宽消耗、计算成本高等问题。另一方面,车辆数据是在公开信道进行传输,使得VANETs对潜在攻击更加危险。认证与密钥协商协议可以提供用户身份认证、加密传输等多种安全特性,很好的保护了通信内容的安全和通信实体的隐私,在信息安全领域具有很好的前景及研究意义。在VANETs环境中,基于雾计算的密钥认证协议在为智能交通带来发展的同时还提供了对数据的安全和车辆用户隐私的保护。使得基于雾计算的车联网认证与密钥协商协议成为智能交通系统（Intel igent Transportation System,ITS）研究的重要内容之一。本文的主要内容是在VANETs环境中,对基于雾计算的认证与密钥协商协议的研究并提出一个新的协议,具体工作内容如下:（1）对现有协议中一些存在安全隐患的协议进行攻击,具体内容有两部分,第一部分是对Jia等人应用于智能医疗系统的基于雾计算的密钥认证协议提出攻击。第二部分是对Ma等人提出的VANETs环境中基于雾计算的密钥协商协议的攻击。（2）在VANETs环境中提出一种基于雾计算的认证与密钥协商协议。此协议首先认证参与实体的身份,然后协商出会话密钥,为后续会话内容加密。在提升道路条件和驾驶服务的同时保证了车辆数据的安全和车辆用户的隐私。（3）基于以上研究成果,本文通过“Real-or-Random（Ro R）”模型下的正式安全分析给出了严格的正式安全证明,并演示了所提出的协议如何满足基于雾的VANETs中的安全需求。也采用Burrows-Abadi-Needham（BAN）逻辑和Pro Verif工具论证了所提协议的安全性。最后,对协议同其他同类方案做出性能的比较和分析。