焦政达
- 作品数:6 被引量:4H指数:1
- 供职机构:西安电子科技大学更多>>
- 发文基金:中国航空科学基金陕西省自然科学基金国家自然科学基金更多>>
- 相关领域:自动化与计算机技术交通运输工程电子电信机械工程更多>>
- 采用可信平台度量的车辆远程诊断授权协议被引量:1
- 2017年
- 针对当前车辆远程诊断授权协议无法确定车辆软硬件环境完整性的问题,提出一种新的车辆远程诊断授权协议,通过车载可信平台模块提供的度量机制对车辆软硬件信息进行完整性度量,并将度量过程与现有远程诊断授权协议相结合,实现了可信第三方对被诊断车辆的强身份认证,并保证车辆当前软硬件完整可信.通过工具自动证明了新协议满足安全目标,并分析说明了协议开销增长处于合理范围.
- 刘佼孙聪马建峰焦政达
- 关键词:安全协议授权可信计算
- 新的车辆远程诊断授权协议被引量:3
- 2014年
- 诊断主体授权问题是车辆远程故障诊断中的关键问题。针对当前车辆远程诊断授权协议(PVAUDS)中存在的问题,提出了新的车辆远程诊断授权协议(PVAUDS+)。在保证原协议安全目标的前提下,为诊断主体提供双向认证和票据新鲜性验证,并保证发送票据的可信第三方能够有效抵御拒绝服务攻击。使用安全协议证明工具ProVerif对PVAUDS+协议的安全属性进行自动化证明,通过增加发起代价的机制解决对可信第三方的拒绝服务攻击问题,从而说明PVAUSD+协议能够满足提出的安全目标。定量分析结果说明本协议具有较好的可行性。
- 焦政达马建峰孙聪姚青松
- 关键词:安全协议授权
- 一种对修复有时间约束的系统动态故障树分析方法
- 本发明公开了一种对修复有时间约束的系统动态故障树分析方法,步骤1:定义修复时间限制;步骤2:定义延时门;步骤3:采用动态贝叶斯网络的方法求解带有延时门和修复盒的子系统;步骤4:分析待求解系统,建立系统的带有延时门的动态故...
- 马建峰孙聪张帅习宁卢笛马勇焦政达
- 文献传递
- 一种车辆远程诊断授权系统及方法
- 本发明公开了一种车辆远程诊断授权系统及方法,系统包括诊断设备模块,被诊断车辆模块,票据服务器模块,所述诊断设备模块、被诊断车辆模块和票据服务器模块三者相互关联并包含在状态存储组件中,通过存储组件中的状态表显示对被诊断车辆...
- 马建峰孙聪焦政达习宁卢笛张帅马勇
- 文献传递
- 车辆远程诊断授权协议设计与形式化验证研究
- 交通需求的日益增长给路网通行安全带来了全新的挑战,作为保障车辆行驶安全的传统车辆诊断技术已难以满足目前的实时性安全需求。对车辆进行远程诊断作为解决该问题的有效途径,是车辆诊断技术未来的发展方向。当前与车辆远程诊断技术相关...
- 焦政达
- 关键词:授权协议形式化验证可信计算
- 文献传递
- 一种对修复有时间约束的系统动态故障树分析方法
- 本发明公开了一种对修复有时间约束的系统动态故障树分析方法,步骤1:定义修复时间限制;步骤2:定义延时门;步骤3:采用动态贝叶斯网络的方法求解带有延时门和修复盒的子系统;步骤4:分析待求解系统,建立系统的带有延时门的动态故...
- 马建峰孙聪张帅习宁卢笛马勇焦政达