期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
基于虚拟操作平台的远程车辆多Agent运动控制研究 被引量:3
1
作者 丁国富 王金诺 《系统仿真学报》 EI CAS CSCD 2001年第4期543-545,共3页
提出基于虚拟操作平台的远程车辆多Agent运动控制框架,流程和Agent的抽象构造模式,并给出了对象的类代码,最后,以挖掘机远程操作为例,采用OPENGL图形库,对其进行了实验验证,编程表明这种方法基本可行。
关键词 虚拟现实 AGENT 面向对象 远程车辆 运动控制 虚拟操作平台
在线阅读 下载PDF
新的车辆远程诊断授权协议 被引量:4
2
作者 焦政达 马建峰 +1 位作者 孙聪 姚青松 《通信学报》 EI CSCD 北大核心 2014年第11期146-153,共8页
诊断主体授权问题是车辆远程故障诊断中的关键问题。针对当前车辆远程诊断授权协议(PVAUDS)中存在的问题,提出了新的车辆远程诊断授权协议(PVAUDS+)。在保证原协议安全目标的前提下,为诊断主体提供双向认证和票据新鲜性验证,并保证发送... 诊断主体授权问题是车辆远程故障诊断中的关键问题。针对当前车辆远程诊断授权协议(PVAUDS)中存在的问题,提出了新的车辆远程诊断授权协议(PVAUDS+)。在保证原协议安全目标的前提下,为诊断主体提供双向认证和票据新鲜性验证,并保证发送票据的可信第三方能够有效抵御拒绝服务攻击。使用安全协议证明工具ProVerif对PVAUDS+协议的安全属性进行自动化证明,通过增加发起代价的机制解决对可信第三方的拒绝服务攻击问题,从而说明PVAUSD+协议能够满足提出的安全目标。定量分析结果说明本协议具有较好的可行性。 展开更多
关键词 安全协议 车辆远程诊断 授权 协议自动化证明
在线阅读 下载PDF
采用可信平台度量的车辆远程诊断授权协议 被引量:2
3
作者 刘佼 孙聪 +1 位作者 马建峰 焦政达 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2017年第3期49-54,119,共7页
针对当前车辆远程诊断授权协议无法确定车辆软硬件环境完整性的问题,提出一种新的车辆远程诊断授权协议,通过车载可信平台模块提供的度量机制对车辆软硬件信息进行完整性度量,并将度量过程与现有远程诊断授权协议相结合,实现了可信第三... 针对当前车辆远程诊断授权协议无法确定车辆软硬件环境完整性的问题,提出一种新的车辆远程诊断授权协议,通过车载可信平台模块提供的度量机制对车辆软硬件信息进行完整性度量,并将度量过程与现有远程诊断授权协议相结合,实现了可信第三方对被诊断车辆的强身份认证,并保证车辆当前软硬件完整可信.通过工具自动证明了新协议满足安全目标,并分析说明了协议开销增长处于合理范围. 展开更多
关键词 安全协议 认证 授权 车辆远程诊断 可信计算
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部