新的车辆远程诊断授权协议

？诊断主体授权问题是车辆远程故障诊断中的关键问题。针对当前车辆远程诊断授权协议（pvauds）中存在的问题，提出了新的车辆远程诊断授权协议（pvauds+）。在保证原协议安全目标的前提下，为诊断主体提供双向认证和票据新鲜性验证，并保证发送票据的可信第三方能够有效抵御拒绝服务攻击。使用安全协议证明工具proverif对pvauds+协议的安全属性进行自动化证明，通过增加发起代价的机制解决对可信第三方的拒绝服务攻击问题，从而说明pvausd+协议能够满足提出的安全目标。定量分析结果说明本协议具有较好的可行性。