期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
新的车辆远程诊断授权协议
被引量:
4
1
作者
焦政达
马建峰
+1 位作者
孙聪
姚青松
《通信学报》
EI
CSCD
北大核心
2014年第11期146-153,共8页
诊断主体授权问题是车辆远程故障诊断中的关键问题。针对当前车辆远程诊断授权协议(PVAUDS)中存在的问题,提出了新的车辆远程诊断授权协议(PVAUDS+)。在保证原协议安全目标的前提下,为诊断主体提供双向认证和票据新鲜性验证,并保证发送...
诊断主体授权问题是车辆远程故障诊断中的关键问题。针对当前车辆远程诊断授权协议(PVAUDS)中存在的问题,提出了新的车辆远程诊断授权协议(PVAUDS+)。在保证原协议安全目标的前提下,为诊断主体提供双向认证和票据新鲜性验证,并保证发送票据的可信第三方能够有效抵御拒绝服务攻击。使用安全协议证明工具ProVerif对PVAUDS+协议的安全属性进行自动化证明,通过增加发起代价的机制解决对可信第三方的拒绝服务攻击问题,从而说明PVAUSD+协议能够满足提出的安全目标。定量分析结果说明本协议具有较好的可行性。
展开更多
关键词
安全协议
车辆远程诊断
授权
协议自动化证明
下载PDF
职称材料
采用可信平台度量的车辆远程诊断授权协议
被引量:
2
2
作者
刘佼
孙聪
+1 位作者
马建峰
焦政达
《西安电子科技大学学报》
EI
CAS
CSCD
北大核心
2017年第3期49-54,119,共7页
针对当前车辆远程诊断授权协议无法确定车辆软硬件环境完整性的问题,提出一种新的车辆远程诊断授权协议,通过车载可信平台模块提供的度量机制对车辆软硬件信息进行完整性度量,并将度量过程与现有远程诊断授权协议相结合,实现了可信第三...
针对当前车辆远程诊断授权协议无法确定车辆软硬件环境完整性的问题,提出一种新的车辆远程诊断授权协议,通过车载可信平台模块提供的度量机制对车辆软硬件信息进行完整性度量,并将度量过程与现有远程诊断授权协议相结合,实现了可信第三方对被诊断车辆的强身份认证,并保证车辆当前软硬件完整可信.通过工具自动证明了新协议满足安全目标,并分析说明了协议开销增长处于合理范围.
展开更多
关键词
安全协议
认证
授权
车辆远程诊断
可信计算
下载PDF
职称材料
物联网在弱势群体中的应用
3
作者
焦政达
《中国科技信息》
2012年第1期70-70,73,共2页
随着电子,集成电路和计算机通信技术的发展,物联网引起了诸多学者的关注,尤其近几年在各个领域得到了广泛的应用。本文提出一种新的应用领域,为物联网的发展带来了新的技术挑战,尤其为传感器技术指明了一条新的发展路线。具体而言,本文...
随着电子,集成电路和计算机通信技术的发展,物联网引起了诸多学者的关注,尤其近几年在各个领域得到了广泛的应用。本文提出一种新的应用领域,为物联网的发展带来了新的技术挑战,尤其为传感器技术指明了一条新的发展路线。具体而言,本文提出物联网在弱势群体中的应用,辅助其行使正常人的行为能力,比如,采用某种传感器技术,使弱视或者失去视力的人可以像正常人一样观察周围世界。通过本文的可行性分析,所提技术可以扩展至其他弱势群体,为人类的发展提供必要的技术支撑。
展开更多
关键词
物联网
传感器
弱势群体
下载PDF
职称材料
题名
新的车辆远程诊断授权协议
被引量:
4
1
作者
焦政达
马建峰
孙聪
姚青松
机构
西安电子科技大学计算机学院
出处
《通信学报》
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
2
作者
刘佼
孙聪
马建峰
焦政达
机构
西安电子科技大学网络与信息安全学院
出处
《西安电子科技大学学报》
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
职称材料
题名
物联网在弱势群体中的应用
3
作者
焦政达
机构
河南大学
出处
《中国科技信息》
2012年第1期70-70,73,共2页
文摘
随着电子,集成电路和计算机通信技术的发展,物联网引起了诸多学者的关注,尤其近几年在各个领域得到了广泛的应用。本文提出一种新的应用领域,为物联网的发展带来了新的技术挑战,尤其为传感器技术指明了一条新的发展路线。具体而言,本文提出物联网在弱势群体中的应用,辅助其行使正常人的行为能力,比如,采用某种传感器技术,使弱视或者失去视力的人可以像正常人一样观察周围世界。通过本文的可行性分析,所提技术可以扩展至其他弱势群体,为人类的发展提供必要的技术支撑。
关键词
物联网
传感器
弱势群体
分类号
TN929.5 [电子电信—通信与信息系统]
TP391.44 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
新的车辆远程诊断授权协议
焦政达
马建峰
孙聪
姚青松
《通信学报》
EI
CSCD
北大核心
2014
4
下载PDF
职称材料
2
采用可信平台度量的车辆远程诊断授权协议
刘佼
孙聪
马建峰
焦政达
《西安电子科技大学学报》
EI
CAS
CSCD
北大核心
2017
2
下载PDF
职称材料
3
物联网在弱势群体中的应用
焦政达
《中国科技信息》
2012
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部