论文部分内容阅读
针对当前车辆远程诊断授权协议无法确定车辆软硬件环境完整性的问题，提出一种新的车辆远程诊断授权协议，通过车载可信平台模块提供的度量机制对车辆软硬件信息进行完整性度量，并将度量过程与现有远程诊断授权协议相结合，实现了可信第三方对被诊断车辆的强身份认证，并保证车辆当前软硬件完整可信．通过工具自动证明了新协议满足安全目标，并分析说明了协议开销增长处于合理范围．