铁路车站计算机联锁系统安全性分析

• 作者: 欧阳城添 王曦 盛紫琦
• 来源期刊: 软件导刊
• 学科: 工学
• 关键词: 安全性分析 形式化方法 模型检测
• 年，卷（期）: 2017,（4）
• 所属期刊栏目: 信息安全
• 页码范围: 191-194
• 页数: 4页
• 分类号: TP309
• 字数: 2711字
• 语种: 中文
• DOI: 10.11907/rjdk.171221

摘要

铁路车站计算机联锁系统是一种典型的安全苛求系统,重点是保障系统运营安全.对系统安全进行了分析,建立UML场景时序图,以此为基础建立系统的标号迁移模型,通过模型检测对系统进行安全性验证与分析,设计了系统的安全模型,为安全苛求系统的安全性分析与验证评估提供了一个完整的技术框架,具有理论及实际价值.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王曦	江西理工大学信息工程学院	11	25	3.0	4.0
2	欧阳城添	江西理工大学信息工程学院	15	44	4.0	6.0
3	盛紫琦	江西理工大学信息工程学院	1	0	0.0	0.0