在交通越来越发达的现代信息社会,随着车辆数量的增加,人们对智能交通的需求越来越高。为了满足智能交通的需求,在交通网络中引入了物联网的思想。车联网通过信息交流和网络互联来检测交通现状,从而提供各种交通服务。然而,开放的无线通信环境中势必存在各种各样的安全攻击,车联网受到安全攻击会引发严重的安全事故,威胁到乘客的人身安全。为了保证车联网里各用户的信息安全,车联网里各节点发布的消息在被接受前必须经过验证,消息验证是实现车联网安全的重要基础。随着车辆数量的快速增长,现有车联网中的算力资源不能满足大规模动态网络的快速消息验证需求。而车联网中业务种类多种多样,不同种类安全消息的验证时延容忍度也各有不同,如果不能及时完成消息验证,车联网系统可能丢失部分重要消息而造成安全事故。因此,提高车联网系统中各类安全消息验证速率对车联网的安全具有重要的意义。为了提高车联网安全消息的验证效率,缩短系统消息验证时延,减少安全消息的丢失,本文进行了以下两个方面的研究:1.提出了消息批量协助验证的方案,通过在车联网中选取合适的协助验证车辆,协助验证车辆与RSU同时负责系统中安全消息的验证,从而降低系统消息验证总时延。首先对车联网中消息验证的时延进行了建模分析,将边缘计算的思想引入车联网的消息验证中,提出了一种双层消息验证模型。随后,我们基于时延模型提出了系统消息验证时延最小化的优化目标,提出了在车联网里选取合适数量合理分布的协助验证车辆的方法。最后,结合系统拓扑的稳定性,提出了使得系统消息验证时延最小的普通车辆验证任务的迁移方法。通过仿真分析可知我们方案的系统消息验证时延缩短至集中验证系统消息验证时延的十分之一。2.提出了基于不同优先级的消息分组验证策略,对于不同规模的车联网系统采取不同的策略,并且基于优先级对消息分批进行验证,以保证紧急消息尽可能多的被及时验证。首先,我们对系统中各消息进行了优先级划分;然后,根据交通网络中车辆的数量选取不同的消息验证方案,计算了切换验证方案的车辆数量阈值;最后,在验证节点上设计了消息分组验证的策略,基于验证节点负责验证的车辆数量和验证节点的算力计算合适的验证轮询周期,并对不同优先级的消息进行聚合批量验证。通过仿真分析可知,本方案可以大幅度降低不同规模车联网里各优先级消息的验证时延和系统各优先级消息的丢失率。