A Framework for Vulnerability Detection in European Train Control Railway Communications
نویسندگان
چکیده
منابع مشابه
a framework for identifying and prioritizing factors affecting customers’ online shopping behavior in iran
the purpose of this study is identifying effective factors which make customers shop online in iran and investigating the importance of discovered factors in online customers’ decision. in the identifying phase, to discover the factors affecting online shopping behavior of customers in iran, the derived reference model summarizing antecedents of online shopping proposed by change et al. was us...
15 صفحه اولTrain Timetabling Problem for Complex Railway Systems
This paper deals with the design of timetables for complex railway systems. Rail transportation has become a rapid, clean and efficient way to transport passengers and freights. A good timetable design is crucial to ensure the quality of the services trying to improve the efficiency of the whole system. Only such a sustainable transportation system will be in accordance to the requirements of f...
متن کاملEuropean Train Control System: A Case Study in Formal Verification
Complex physical systems have several degrees of freedom. They only work correctly when their control parameters obey corresponding constraints. Based on the informal specification of the European Train Control System (ETCS), we design a controller for its cooperation protocol. For its free parameters, we successively identify constraints that are required to ensure collision freedom. We formal...
متن کاملA European framework for effective tuberculosis control.
This edition of the Journal sees the publication of an important document in the control and elimination of tuberculosis in low-incidence countries [1]. The authors start with the well-founded World Health Organization (WHO) document for control in highprevalence countries but wisely do not attempt to adapt from it directly [2]. Instead, the paper is an original and well-thought-out strategy fo...
متن کاملEGNOS-based Reactive Locator for the European Train Control System
It is generally believed that exploitation of Global Satellite Navigation Satellite System (GNSS) together with advanced mobile communications for signalling and train control will significantly improve safety and efficiency of railway operations. This is especially true for signalling solutions on low traffic lines and also on some long heavy haul lines where previously planned implementations...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Security and Communication Networks
سال: 2018
ISSN: 1939-0114,1939-0122
DOI: 10.1155/2018/5634181