CTCT-4级安全通信协议的形式化建模与验证

• 作者: 石广田 胡晓辉 陈慧丽 陈永
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: GSM-R 安全协议 通讯顺序进程(CSP) 故障 偏差 精炼检测器(FDR)
• 年，卷（期）: 2014,（4）
• 所属期刊栏目: 网络、通信、安全
• 页码范围: 81-85
• 页数: 5页
• 分类号: TP391.9
• 字数: 4144字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1203-0784

摘要

CTCS-4级列车运行控制系统是基于无线通信GSM-R传输信息的系统，而GSM-R系统是一种开放传输系统，它不能满足列控系统这种安全苛求系统的需求。主要根据GSM-R系统现有的安全威胁和应该采取的安全措施，引用一种改进的NSSK安全协议来保障车载设备与RBC间安全通信，并利用形式化建模语言CSP和模型检测工具FDR对其建模和验证。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	石广田	兰州交通大学艺术设计学院	70	302	10.0	13.0
2	胡晓辉	兰州交通大学电子与信息工程学院	99	503	10.0	16.0
3	陈永	兰州交通大学电子与信息工程学院	49	201	8.0	11.0
4	陈慧丽	兰州交通大学电子与信息工程学院	2	12	2.0	2.0