期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
CTCT-4级安全通信协议的形式化建模与验证
被引量：
7
1
作者
胡晓辉
陈慧丽
+1 位作者
石广田
陈永
《计算机工程与应用》
CSCD
2014年第4期81-85,共5页
CTCS-4级列车运行控制系统是基于无线通信GSM-R传输信息的系统,而GSM-R系统是一种开放传输系统,它不能满足列控系统这种安全苛求系统的需求。主要根据GSM-R系统现有的安全威胁和应该采取的安全措施,引用一种改进的NSSK安全协议来保障车...
CTCS-4级列车运行控制系统是基于无线通信GSM-R传输信息的系统,而GSM-R系统是一种开放传输系统,它不能满足列控系统这种安全苛求系统的需求。主要根据GSM-R系统现有的安全威胁和应该采取的安全措施,引用一种改进的NSSK安全协议来保障车载设备与RBC间安全通信,并利用形式化建模语言CSP和模型检测工具FDR对其建模和验证。
展开更多
关键词
GSM-R
安全协议
通讯顺序进程(CSP)
故障
偏差
精炼
检测器
(
fdr
)
在线阅读
下载PDF
职称材料
题名
CTCT-4级安全通信协议的形式化建模与验证
被引量：
7
1
作者
胡晓辉
陈慧丽
石广田
陈永
机构
兰州交通大学电子与信息工程学院
兰州交通大学艺术设计学院
出处
《计算机工程与应用》
CSCD
2014年第4期81-85,共5页
基金
国家自然科学基金(No.61163009)
文摘
CTCS-4级列车运行控制系统是基于无线通信GSM-R传输信息的系统,而GSM-R系统是一种开放传输系统,它不能满足列控系统这种安全苛求系统的需求。主要根据GSM-R系统现有的安全威胁和应该采取的安全措施,引用一种改进的NSSK安全协议来保障车载设备与RBC间安全通信,并利用形式化建模语言CSP和模型检测工具FDR对其建模和验证。
关键词
GSM-R
安全协议
通讯顺序进程(CSP)
故障
偏差
精炼
检测器
(
fdr
)
Keywords
GSM-R
security protocol
Communicating Sequential Process（CSP）
Failures Divegences Refinement checker（
fdr
）
分类号
TP391.9 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
CTCT-4级安全通信协议的形式化建模与验证
胡晓辉
陈慧丽
石广田
陈永
《计算机工程与应用》
CSCD
2014
7
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
