利用密钥偏序验证车辆群组协议安全性
偏微分方程分析
2021-05-07 v1 数值分析
数值分析
摘要
车辆网络将实现一系列新颖应用，以提升道路交通效率、安全性并减少燃料消耗。与其他信息物理系统一样，安全性对于这些应用的部署至关重要，相关标准化工作正在进行中。在本文中，我们通过对协议和安全标准的透彻分析，对一种车辆编队协议进行系统的安全性评估。我们利用基于密钥上一种关系的证明策略来应对所得模型的复杂性。该密钥关系形成一个偏序，其封装了保密性与认证性依赖。我们展示了这种顺序感知方法使得验证可行，并证明了强认证性质以及协议中所用所有密钥的保密性。
引用
@article{arxiv.2105.02665,
title = {A mollifier approach to regularize a Cauchy problem for the inhomogeneous Helmholtz equation},
author = {Pierre Marechal and Walter Simo Tao Lee and Faouzi Triki},
journal= {arXiv preprint arXiv:2105.02665},
year = {2021}
}