期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
适用于铁路时间同步协议的双向身份认证方案
1
作者
兰丽
李佳康
白跳红
《信息安全研究》
CSCD
北大核心
2024年第12期1165-1171,共7页
针对铁路时间同步协议客户端认证缺失、关键消息明文传输等问题,提出一种更安全的双向身份认证方案,用于时间节点之间的认证和密钥建立.方案采用非对称加密机制和ECDH(elliptic curve Diffie-Hellman)算法安全协商共享密钥,运用主机当...
针对铁路时间同步协议客户端认证缺失、关键消息明文传输等问题,提出一种更安全的双向身份认证方案,用于时间节点之间的认证和密钥建立.方案采用非对称加密机制和ECDH(elliptic curve Diffie-Hellman)算法安全协商共享密钥,运用主机当前时间作为序列号抵抗重放攻击,由共享密钥和序列号产生的身份校验码完成双向身份认证.随后用共享密钥加密保护之后的关键消息,解决了关键消息明文传输的问题.该方案不仅解决了客户端认证缺失的问题,而且还具有前后向安全性.最后,采用BAN逻辑进行形式化验证,结果表明:该方法在安全性、认证开销方面较其他方法更优,能够满足铁路时间同步协议双向身份认证安全性和实时性的要求.
展开更多
关键词
铁路时间同步协议
ECDH密钥协商算法
身份校验码
双向身份认证
BAN逻辑
在线阅读
下载PDF
职称材料
基于着色Petri网的铁路时间同步协议建模及安全性分析
被引量：
3
2
作者
兰丽
张友鹏
《铁道科学与工程学报》
CAS
CSCD
北大核心
2019年第4期1089-1096,共8页
针对Autokey模型的铁路时间同步协议安全性问题,提出利用着色Petri网对协议进行安全性分析。剖析Autokey模型的铁路时间同步协议序列及其执行流程;重点针对其认证阶段,分别构建正常认证和加入中间人入侵的着色Petri网模型,分析中间人入...
针对Autokey模型的铁路时间同步协议安全性问题,提出利用着色Petri网对协议进行安全性分析。剖析Autokey模型的铁路时间同步协议序列及其执行流程;重点针对其认证阶段,分别构建正常认证和加入中间人入侵的着色Petri网模型,分析中间人入侵时协议认证过程的不安全状态,建立模型状态方程;应用逆向状态分析法对铁路时间同步协议认证过程的安全性进行分析,得到中间人在认证阶段攻击协议的实施序列。研究结果表明:基于Autokey模型的铁路时间同步协议的认证过程是不安全的。
展开更多
关键词
铁路时间同步协议
中间人
着色PETRI网
安全性分析
在线阅读
下载PDF
职称材料
题名
适用于铁路时间同步协议的双向身份认证方案
1
作者
兰丽
李佳康
白跳红
机构
兰州交通大学电子与信息工程学院
出处
《信息安全研究》
CSCD
北大核心
2024年第12期1165-1171,共7页
基金
甘肃省自然科学基金项目(20JR10RA218)
国家自然科学基金项目(61762057)。
文摘
针对铁路时间同步协议客户端认证缺失、关键消息明文传输等问题,提出一种更安全的双向身份认证方案,用于时间节点之间的认证和密钥建立.方案采用非对称加密机制和ECDH(elliptic curve Diffie-Hellman)算法安全协商共享密钥,运用主机当前时间作为序列号抵抗重放攻击,由共享密钥和序列号产生的身份校验码完成双向身份认证.随后用共享密钥加密保护之后的关键消息,解决了关键消息明文传输的问题.该方案不仅解决了客户端认证缺失的问题,而且还具有前后向安全性.最后,采用BAN逻辑进行形式化验证,结果表明:该方法在安全性、认证开销方面较其他方法更优,能够满足铁路时间同步协议双向身份认证安全性和实时性的要求.
关键词
铁路时间同步协议
ECDH密钥协商算法
身份校验码
双向身份认证
BAN逻辑
Keywords
railroad time synchronization protocol
ECDH key negotiation algorithm
identity check digit
two-way authentication
BAN logic
分类号
TP309.7 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
基于着色Petri网的铁路时间同步协议建模及安全性分析
被引量：
3
2
作者
兰丽
张友鹏
机构
兰州交通大学电子与信息工程学院
兰州交通大学光电技术与智能控制教育部重点实验室
兰州交通大学自动化与电气工程学院
出处
《铁道科学与工程学报》
CAS
CSCD
北大核心
2019年第4期1089-1096,共8页
基金
国家自然科学基金资助项目(51567014)
中国铁路总公司科技研究开发计划课题资助项目(2015X007-H)
光电技术与智能控制教育部重点实验室(兰州交通大学)开放课题资助项目(KFKT2018-12)
文摘
针对Autokey模型的铁路时间同步协议安全性问题,提出利用着色Petri网对协议进行安全性分析。剖析Autokey模型的铁路时间同步协议序列及其执行流程;重点针对其认证阶段,分别构建正常认证和加入中间人入侵的着色Petri网模型,分析中间人入侵时协议认证过程的不安全状态,建立模型状态方程;应用逆向状态分析法对铁路时间同步协议认证过程的安全性进行分析,得到中间人在认证阶段攻击协议的实施序列。研究结果表明:基于Autokey模型的铁路时间同步协议的认证过程是不安全的。
关键词
铁路时间同步协议
中间人
着色PETRI网
安全性分析
Keywords
railway time synchronization protocol
man-in-the-middle
colored Petri nets
security analysis
分类号
U285.5 [交通运输工程—交通信息工程及控制]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
适用于铁路时间同步协议的双向身份认证方案
兰丽
李佳康
白跳红
《信息安全研究》
CSCD
北大核心
2024
0
在线阅读
下载PDF
职称材料
2
基于着色Petri网的铁路时间同步协议建模及安全性分析
兰丽
张友鹏
《铁道科学与工程学报》
CAS
CSCD
北大核心
2019
3
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
