计算机工程与应用

作者：汪自旺, 王亮, 颜绘理, 吴志泽

单位：1.合肥大学 人工智能与大数据学院，合肥 230022；2.安徽大学 安徽省信息材料与智能感知实验室，合肥 230601；

关键词：车联网,社交关系,目标选择,免认证切换,形式化验证

基金：国家自然科学基金（72271085，62406095）；合肥大学人才研究基金（21-22RC17）；安徽省重点研究计划（2022k07020011）；安徽省自然科学基金（2308085MF213）；安徽省高校自然科学研究项目（2022AH051803）；安徽省信息材料与智能传感实验室开放基金（IMIS202205）；安徽省高校科研创新团队项目（2022AH010095）。

针对当前车联网中车辆高速且频繁移动所引发的在切换认证阶段算力消耗大及延迟较高的问题，提出了一种基于社交关系的车辆到基础设施（V2I）快速切换认证方案（VISRHA）。路侧基础设施间通过双向身份及完整性认证建立自身的社交圈，并将这些关系记录到公共区块链中；VISRHA利用社交节点间的单次信任传播和区块链的不可篡改性，通过智能算法动态选择最优路侧单元（RSU），当选定的RSU信任值超过指定阈值时，车辆在社交RSU节点间实现免认证切换。通过将原本在终端执行的部分切换认证计算任务迁移到由基础设施冗余算力执行的社交关系管理中，VISRHA实现了车辆节点切换认证的轻量化和低延时。实现了该方案的原型，并使用Scyther形式化验证工具验证了其安全性。实验结果表明，与现有方案相比，VISRHA在保证安全性的同时，能够显著降低实时切换过程中的延迟和计算开销。

来源：2026年第7期

《计算机工程与应用》期刊编辑部

查看计算机工程与应用杂志2026年第7期