期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于虚拟操作平台的远程车辆多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
职称材料
题名
基于虚拟操作平台的远程车辆多Agent运动控制研究
被引量:
3
1
作者
丁国富
王金诺
机构
西南交通大学机械工程研究所
出处
《系统仿真学报》
EI
CAS
CSCD
2001年第4期543-545,共3页
文摘
提出基于虚拟操作平台的远程车辆多Agent运动控制框架,流程和Agent的抽象构造模式,并给出了对象的类代码,最后,以挖掘机远程操作为例,采用OPENGL图形库,对其进行了实验验证,编程表明这种方法基本可行。
关键词
虚拟现实
AGENT
面向对象
远程车辆
运动控制
虚拟操作平台
Keywords
virtual reality
virtual console
agent
object-oriented
分类号
U27 [机械工程—车辆工程]
TP391.9 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
新的车辆远程诊断授权协议
被引量:
4
2
作者
焦政达
马建峰
孙聪
姚青松
机构
西安电子科技大学计算机学院
出处
《通信学报》
EI
CSCD
北大核心
2014年第11期146-153,共8页
基金
国家自然基金委员会-广东联合基金重点基金资助项目(U1135002)
国家自然科学基金资助项目(61303033)
+3 种基金
陕西省自然科学基础研究计划基金资助项目(2013JQ8036)
中央高校基本科研业务费专项资金资助项目(JB140309)
航空科学基金资助项目(2013ZC31003
20141931001)~~
文摘
诊断主体授权问题是车辆远程故障诊断中的关键问题。针对当前车辆远程诊断授权协议(PVAUDS)中存在的问题,提出了新的车辆远程诊断授权协议(PVAUDS+)。在保证原协议安全目标的前提下,为诊断主体提供双向认证和票据新鲜性验证,并保证发送票据的可信第三方能够有效抵御拒绝服务攻击。使用安全协议证明工具ProVerif对PVAUDS+协议的安全属性进行自动化证明,通过增加发起代价的机制解决对可信第三方的拒绝服务攻击问题,从而说明PVAUSD+协议能够满足提出的安全目标。定量分析结果说明本协议具有较好的可行性。
关键词
安全协议
车辆
远程
诊断
授权
协议自动化证明
Keywords
security protocol
remote vehicle diagnosis
authorization
automatic proof of protocol
分类号
TP393.0 [自动化与计算机技术—计算机应用技术]
TP918.1 [自动化与计算机技术]
在线阅读
下载PDF
职称材料
题名
采用可信平台度量的车辆远程诊断授权协议
被引量:
2
3
作者
刘佼
孙聪
马建峰
焦政达
机构
西安电子科技大学网络与信息安全学院
出处
《西安电子科技大学学报》
EI
CAS
CSCD
北大核心
2017年第3期49-54,119,共7页
基金
国家自然科学基金资助项目(61303033)
国家高技术研究发展计划(863计划)资助项目(2015AA017203)
+3 种基金
陕西省自然科学基础研究计划资助项目(2016JM6034)
航空科学基金资助项目(2013ZC31003
20141931001)
工业和信息化部某专项科研资助项目(MJ-2014-S-37)
文摘
针对当前车辆远程诊断授权协议无法确定车辆软硬件环境完整性的问题,提出一种新的车辆远程诊断授权协议,通过车载可信平台模块提供的度量机制对车辆软硬件信息进行完整性度量,并将度量过程与现有远程诊断授权协议相结合,实现了可信第三方对被诊断车辆的强身份认证,并保证车辆当前软硬件完整可信.通过工具自动证明了新协议满足安全目标,并分析说明了协议开销增长处于合理范围.
关键词
安全协议
认证
授权
车辆
远程
诊断
可信计算
Keywords
security protocol
authentication
authorization
remote vehicle diagnosis
trusted computing
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于虚拟操作平台的远程车辆多Agent运动控制研究
丁国富
王金诺
《系统仿真学报》
EI
CAS
CSCD
2001
3
在线阅读
下载PDF
职称材料
2
新的车辆远程诊断授权协议
焦政达
马建峰
孙聪
姚青松
《通信学报》
EI
CSCD
北大核心
2014
4
在线阅读
下载PDF
职称材料
3
采用可信平台度量的车辆远程诊断授权协议
刘佼
孙聪
马建峰
焦政达
《西安电子科技大学学报》
EI
CAS
CSCD
北大核心
2017
2
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部