Skip to main content

2020 | OriginalPaper | Buchkapitel

8. A Game Framework to Secure Control of CBTC Systems

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

To meet the growing railway-transportation demand, researchers have designed a new train control system, communication-based train control (CBTC) system, to maximize the ability of train lines by reducing the headway of each train. However, wireless communications expose the CBTC system to new security threats. Due to the cyber-physical nature of the CBTC system, a jamming attack can damage the physical part of the train system by disrupting the communications. To address this issue, this chapter develops a secure framework to mitigate the impact of the jamming attack based on a security criterion. At the cyber layer, we apply a multi-channel model to enhance the reliability of the communications and develop a zero-sum stochastic game to capture the interactions between the transmitter and jammer. We present analytical results and use dynamic programming to find the equilibrium of the stochastic game. We investigate a special case study to obtain insight results, showing a strong inter-dependency between the physical and cyber layers. Finally, the experimental results are provided to evaluate the performance of the proposed secure mechanism.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
1.
Zurück zum Zitat M.A. Abdelrazik, J.F. Hodapp, The E-SAT 300A: a multichannel satellite communication system for aircraft, in GLOBECOM 1989 (IEEE, New York, 1989), pp. 1423–1427 M.A. Abdelrazik, J.F. Hodapp, The E-SAT 300A: a multichannel satellite communication system for aircraft, in GLOBECOM 1989 (IEEE, New York, 1989), pp. 1423–1427
6.
Zurück zum Zitat E. Altman, K. Avratchenkov, N. Bonneau, M. Debbah, R. El-Azouzi, D. S. Menasché, Constrained stochastic games in wireless networks, in IEEE GLOBECOM 2007-IEEE Global Telecommunications Conference (IEEE, New York, 2007), pp. 315–320 E. Altman, K. Avratchenkov, N. Bonneau, M. Debbah, R. El-Azouzi, D. S. Menasché, Constrained stochastic games in wireless networks, in IEEE GLOBECOM 2007-IEEE Global Telecommunications Conference (IEEE, New York, 2007), pp. 315–320
13.
Zurück zum Zitat T. Basar, G.J. Olsder, Dynamic Noncooperative Game Theory, vol. 23 (SIAM, Philadelphia, PA, 1999)MATH T. Basar, G.J. Olsder, Dynamic Noncooperative Game Theory, vol. 23 (SIAM, Philadelphia, PA, 1999)MATH
16.
Zurück zum Zitat D.P. Bertsekas, Dynamic Programming and Optimal Control, vol. 1 (Athena Scientific, Belmont, MA, 1995) D.P. Bertsekas, Dynamic Programming and Optimal Control, vol. 1 (Athena Scientific, Belmont, MA, 1995)
38.
Zurück zum Zitat P.V. Craven, A brief look at railroad communication vulnerabilities, in The 7th International IEEE Conference on Intelligent Transportation Systems, 2004. Proceedings (IEEE, New York, 2004), pp. 245–249 P.V. Craven, A brief look at railroad communication vulnerabilities, in The 7th International IEEE Conference on Intelligent Transportation Systems, 2004. Proceedings (IEEE, New York, 2004), pp. 245–249
56.
Zurück zum Zitat J.C. Harsanyi, Games with incomplete information played by bayesian players, I–III part I. The basic model. Manage. Sci. 14(3), 159–182 (1967)MathSciNetMATH J.C. Harsanyi, Games with incomplete information played by bayesian players, I–III part I. The basic model. Manage. Sci. 14(3), 159–182 (1967)MathSciNetMATH
57.
Zurück zum Zitat J.C. Harsanyi, Games with incomplete information played by Bayesian players part II. Bayesian equilibrium points. Manage. Sci. 14(5), 320–334 (1968)MATH J.C. Harsanyi, Games with incomplete information played by Bayesian players part II. Bayesian equilibrium points. Manage. Sci. 14(5), 320–334 (1968)MATH
60.
Zurück zum Zitat K. Horák, B. Bošanskỳ, M. Pěchouček, Heuristic search value iteration for one-sided partially observable stochastic games, in Thirty-First AAAI Conference on Artificial Intelligence (2017) K. Horák, B. Bošanskỳ, M. Pěchouček, Heuristic search value iteration for one-sided partially observable stochastic games, in Thirty-First AAAI Conference on Artificial Intelligence (2017)
61.
Zurück zum Zitat K. Horák, Q. Zhu, B. Bošanskỳ, Manipulating adversary’s belief: a dynamic game approach to deception by design for proactive network security, in International Conference on Decision and Game Theory for Security (Springer, New York, 2017), pp. 273–294 K. Horák, Q. Zhu, B. Bošanskỳ, Manipulating adversary’s belief: a dynamic game approach to deception by design for proactive network security, in International Conference on Decision and Game Theory for Security (Springer, New York, 2017), pp. 273–294
84.
Zurück zum Zitat H. Kwakernaak, R. Sivan, Linear Optimal Control Systems, vol. 1 (Wiley-Interscience, New York, 1972)MATH H. Kwakernaak, R. Sivan, Linear Optimal Control Systems, vol. 1 (Wiley-Interscience, New York, 1972)MATH
90.
Zurück zum Zitat H. Li, L. Lai, R.C. Qiu, A denial-of-service jamming game for remote state monitoring in smart grid, in 2011 45th Annual Conference on Information Sciences and Systems (CISS), pp. 1–6 (IEEE, New York, 2011) H. Li, L. Lai, R.C. Qiu, A denial-of-service jamming game for remote state monitoring in smart grid, in 2011 45th Annual Conference on Information Sciences and Systems (CISS), pp. 1–6 (IEEE, New York, 2011)
93.
Zurück zum Zitat Y. Li, D.E. Quevedo, V. Lau, L. Shi, Multi-sensor transmission power scheduling for remote state estimation under sinr model, in 2014 IEEE 53rd Annual Conference on Decision and Control (CDC) (IEEE, New York, 2014), pp. 1055–1060 Y. Li, D.E. Quevedo, V. Lau, L. Shi, Multi-sensor transmission power scheduling for remote state estimation under sinr model, in 2014 IEEE 53rd Annual Conference on Decision and Control (CDC) (IEEE, New York, 2014), pp. 1055–1060
97.
Zurück zum Zitat I. Lopez, M. Aguado, Cyber security analysis of the european train control system. Commun. Mag. IEEE 53(10), 110–116 (2015) I. Lopez, M. Aguado, Cyber security analysis of the european train control system. Commun. Mag. IEEE 53(10), 110–116 (2015)
107.
Zurück zum Zitat F. Miao, Q. Zhu, A moving-horizon hybrid stochastic game for secure control of cyber-physical systems, in 2014 IEEE 53rd Annual Conference on Decision and Control (CDC) (IEEE, New York, 2014), pp. 517–522 F. Miao, Q. Zhu, A moving-horizon hybrid stochastic game for secure control of cyber-physical systems, in 2014 IEEE 53rd Annual Conference on Decision and Control (CDC) (IEEE, New York, 2014), pp. 517–522
113.
Zurück zum Zitat J. Moreno, J.M. Riera, L. De Haro, C. Rodriguez, A survey on future railway radio communications services: challenges and opportunities. Commun. Mag. IEEE 53(10), 62–68 (2015) J. Moreno, J.M. Riera, L. De Haro, C. Rodriguez, A survey on future railway radio communications services: challenges and opportunities. Commun. Mag. IEEE 53(10), 62–68 (2015)
119.
Zurück zum Zitat G. Owen, Game Theory, 3rd edn. (Academic Press, New York, 1995)MATH G. Owen, Game Theory, 3rd edn. (Academic Press, New York, 1995)MATH
147.
Zurück zum Zitat C. Schifers, G. Hans, IEEE Standard for Communications-Based Train Control (cbtc) performance and functional requirements, in Vehicular Technology Conference Proceedings, VTC, (2000), pp. 1581–1585 C. Schifers, G. Hans, IEEE Standard for Communications-Based Train Control (cbtc) performance and functional requirements, in Vehicular Technology Conference Proceedings, VTC, (2000), pp. 1581–1585
171.
Zurück zum Zitat H. Wang, F.R. Yu, L. Zhu, T. Tang, B. Ning, A cognitive control approach to communication-based train control systems. IEEE Trans. Intell. Transp. Syst. 16(4), 1676–1689 (2015) H. Wang, F.R. Yu, L. Zhu, T. Tang, B. Ning, A cognitive control approach to communication-based train control systems. IEEE Trans. Intell. Transp. Syst. 16(4), 1676–1689 (2015)
200.
Zurück zum Zitat Q. Zhu, T. Başar, Dynamic policy-based IDS configuration, in Proceedings of the 48h IEEE Conference on Decision and Control (CDC) Held Jointly with 2009 28th Chinese Control Conference (IEEE, New York, 2009), pp. 8600–8605 Q. Zhu, T. Başar, Dynamic policy-based IDS configuration, in Proceedings of the 48h IEEE Conference on Decision and Control (CDC) Held Jointly with 2009 28th Chinese Control Conference (IEEE, New York, 2009), pp. 8600–8605
207.
Zurück zum Zitat Q. Zhu, H. Li, Z. Han, T. Başar, A stochastic game model for jamming in multi-channel cognitive radio systems, in 2010 IEEE International Conference on Communications (IEEE, New York, 2010), pp. 1–6 Q. Zhu, H. Li, Z. Han, T. Başar, A stochastic game model for jamming in multi-channel cognitive radio systems, in 2010 IEEE International Conference on Communications (IEEE, New York, 2010), pp. 1–6
208.
Zurück zum Zitat Q. Zhu, H. Tembine, T. Başar, Network security configurations: a nonzero-sum stochastic game approach, in Proceedings of the 2010 American Control Conference (IEEE, New York, 2010), pp. 1059–1064 Q. Zhu, H. Tembine, T. Başar, Network security configurations: a nonzero-sum stochastic game approach, in Proceedings of the 2010 American Control Conference (IEEE, New York, 2010), pp. 1059–1064
210.
Zurück zum Zitat L. Zhu, F.R. Yu, B. Ning, T. Tang, Cross-layer handoff design in MIMO-enabled WLANs for communication-based train control (CBTC) systems. IEEE J. Sel. Areas Commun. 30(4), 719–728 (2012) L. Zhu, F.R. Yu, B. Ning, T. Tang, Cross-layer handoff design in MIMO-enabled WLANs for communication-based train control (CBTC) systems. IEEE J. Sel. Areas Commun. 30(4), 719–728 (2012)
Metadaten
Titel
A Game Framework to Secure Control of CBTC Systems
verfasst von
Quanyan Zhu
Zhiheng Xu
Copyright-Jahr
2020
DOI
https://doi.org/10.1007/978-3-030-60251-2_8