Universally composable multi-factor authentication scheme for rail control systems

IF 5.3 2区 计算机科学 Q1 COMPUTER SCIENCE, HARDWARE & ARCHITECTURE
Journal of Systems Architecture Pub Date : 2026-04-01 Epub Date: 2025-12-20 DOI:10.1016/j.sysarc.2025.103670
Xiaoya Hu , Hao Zhang , Ding Wang , Zonghua Zhang , Qingxuan Wang
{"title":"Universally composable multi-factor authentication scheme for rail control systems","authors":"Xiaoya Hu ,&nbsp;Hao Zhang ,&nbsp;Ding Wang ,&nbsp;Zonghua Zhang ,&nbsp;Qingxuan Wang","doi":"10.1016/j.sysarc.2025.103670","DOIUrl":null,"url":null,"abstract":"<div><div>Rail transportation has emerged as a critical component of modern land transportation. With the development of informatization and intelligence, rail control systems have shifted from traditional closed environments to open networked environments. While interconnectivity offers operational benefits, it also exposes systems to severe security risks. As a safety-critical infrastructure, train operations rely on robust security mechanisms, among which user access authentication and train handover authentication are indispensable. However, despite the considerable research devoted to the latter, the former has been largely neglected. Moreover, although industry standards emphasize the deployment of multi-factor authentication (MFA) in industrial control systems or railway systems, no practical MFA scheme tailored for rail control systems has been developed. This gap stems from two challenges: (1) The inherent difficulty of designing protocols that can simultaneously withstand powerful adversaries and satisfy multiple security goals; (2) The deployment complexities arising from the heterogeneous, distributed, and large-scale nature of rail control systems, together with the large number of concurrently operating subsystems. To address these challenges, this paper analyzes two state-of-the-art MFA protocols and shows that neither ensures multi-factor security nor forward security. We then propose the <em>first</em> MFA scheme for rail control systems, built on a wireless sensor network architecture, and prove its security within the universal composability framework. A comparative evaluation with 68 representative MFA schemes reveals shows that our protocol achieves strong security. Furthermore, experiments performed on a laptop with an AMD Ryzen 7 5800H processor validate the high efficiency of the proposed scheme.</div></div>","PeriodicalId":50027,"journal":{"name":"Journal of Systems Architecture","volume":"173 ","pages":"Article 103670"},"PeriodicalIF":5.3000,"publicationDate":"2026-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Systems Architecture","FirstCategoryId":"94","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S138376212500342X","RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"2025/12/20 0:00:00","PubModel":"Epub","JCR":"Q1","JCRName":"COMPUTER SCIENCE, HARDWARE & ARCHITECTURE","Score":null,"Total":0}
引用次数: 0

Abstract

Rail transportation has emerged as a critical component of modern land transportation. With the development of informatization and intelligence, rail control systems have shifted from traditional closed environments to open networked environments. While interconnectivity offers operational benefits, it also exposes systems to severe security risks. As a safety-critical infrastructure, train operations rely on robust security mechanisms, among which user access authentication and train handover authentication are indispensable. However, despite the considerable research devoted to the latter, the former has been largely neglected. Moreover, although industry standards emphasize the deployment of multi-factor authentication (MFA) in industrial control systems or railway systems, no practical MFA scheme tailored for rail control systems has been developed. This gap stems from two challenges: (1) The inherent difficulty of designing protocols that can simultaneously withstand powerful adversaries and satisfy multiple security goals; (2) The deployment complexities arising from the heterogeneous, distributed, and large-scale nature of rail control systems, together with the large number of concurrently operating subsystems. To address these challenges, this paper analyzes two state-of-the-art MFA protocols and shows that neither ensures multi-factor security nor forward security. We then propose the first MFA scheme for rail control systems, built on a wireless sensor network architecture, and prove its security within the universal composability framework. A comparative evaluation with 68 representative MFA schemes reveals shows that our protocol achieves strong security. Furthermore, experiments performed on a laptop with an AMD Ryzen 7 5800H processor validate the high efficiency of the proposed scheme.
轨道控制系统通用可组合多因素认证方案
铁路运输已成为现代陆地运输的重要组成部分。随着信息化和智能化的发展,轨道控制系统已经从传统的封闭环境转向开放的网络化环境。虽然互联互通提供了操作上的好处,但它也使系统面临严重的安全风险。列车运行作为安全关键型基础设施,依赖于强大的安全机制,其中用户接入认证和列车切换认证必不可少。然而,尽管对后者进行了大量的研究,但前者在很大程度上被忽视了。此外,尽管行业标准强调在工业控制系统或铁路系统中部署多因素认证(MFA),但尚未开发出适合铁路控制系统的实际MFA方案。这种差距源于两个挑战:(1)设计能够同时抵御强大对手并满足多个安全目标的协议的固有困难;(2)轨道控制系统的异构、分布式和大规模特性,以及大量同时运行的子系统所带来的部署复杂性。为了解决这些挑战,本文分析了两种最先进的MFA协议,并表明它们既不能保证多因素安全性,也不能保证转发安全性。然后,我们提出了第一个基于无线传感器网络架构的轨道控制系统MFA方案,并证明了其在通用可组合性框架内的安全性。与68个具有代表性的MFA方案进行了比较,结果表明该协议具有较强的安全性。此外,在配备AMD Ryzen 7 5800H处理器的笔记本电脑上进行的实验验证了所提出方案的高效率。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
Journal of Systems Architecture
Journal of Systems Architecture 工程技术-计算机:硬件
CiteScore
8.70
自引率
15.60%
发文量
226
审稿时长
46 days
期刊介绍: The Journal of Systems Architecture: Embedded Software Design (JSA) is a journal covering all design and architectural aspects related to embedded systems and software. It ranges from the microarchitecture level via the system software level up to the application-specific architecture level. Aspects such as real-time systems, operating systems, FPGA programming, programming languages, communications (limited to analysis and the software stack), mobile systems, parallel and distributed architectures as well as additional subjects in the computer and system architecture area will fall within the scope of this journal. Technology will not be a main focus, but its use and relevance to particular designs will be. Case studies are welcome but must contribute more than just a design for a particular piece of software. Design automation of such systems including methodologies, techniques and tools for their design as well as novel designs of software components fall within the scope of this journal. Novel applications that use embedded systems are also central in this journal. While hardware is not a part of this journal hardware/software co-design methods that consider interplay between software and hardware components with and emphasis on software are also relevant here.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信
小红书