车联网匿名认证协议设计与形式化验证.pdf

车联网匿名认证协议设计与形式化验证.pdf

摘要

摘要

车载自组织网(VehicularAd-HocNetworks,VANETs)作为车联网体系的关

键通信网络,通过车辆与车辆(VehicletoVehicle,V2V)、车辆与基础设施(Vehicle

toInfrastructure,V2I)之间的通信,为交通运输提供高效便捷的服务。然而,无

线信道的开放性增加了网络被攻击风险,随着车联网中用户数量的不断增多,保

障车辆用户的安全和隐私至关重要。

文档评论(0)

1亿VIP精品文档

相关文档