Skip to main content

2020 | OriginalPaper | Buchkapitel

Multilevel Runtime Security and Safety Monitoring for Cyber Physical Systems Using Model-Based Engineering

verfasst von : Smitha Gautham, Athira V. Jayakumar, Carl Elks

Erschienen in: Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops

Verlag: Springer International Publishing

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

search-config
loading …

Abstract

Cyber-Physical Systems (CPS) are heterogeneous in nature and are composed of numerous components and embedded subsystems that are interacting with each other and with the physical world. The interaction of hardware and software components at each level, expose them to attack surfaces, which need novel methods to secure against. To ensure safety and security of high integrity CPSs, we present a multilevel runtime monitor approach where there are monitors at each level of processing and integration. In the proposed multi-level monitoring framework, some monitoring properties are formally defined using Event Calculus. We then demonstrate the need for multilevel monitors for faster detection and isolation of attacks by performing data attack and fault injection on a Simulink CPS model.

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
3.
Zurück zum Zitat Kane, A.: Runtime monitoring for safety-critical embedded systems. Carnegie Mellon University (2015) Kane, A.: Runtime monitoring for safety-critical embedded systems. Carnegie Mellon University (2015)
4.
Zurück zum Zitat Gautham, S., Bakirtzis, G., Leccadito, M.T., Klenke, R.H., Elks, C.R.: A multilevel cybersecurity and safety monitor for embedded cyber-physical systems: WIP abstract. In: Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, New York, NY, USA, pp. 320–321 (2019). https://doi.org/10.1145/3302509.3313321 Gautham, S., Bakirtzis, G., Leccadito, M.T., Klenke, R.H., Elks, C.R.: A multilevel cybersecurity and safety monitor for embedded cyber-physical systems: WIP abstract. In: Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, New York, NY, USA, pp. 320–321 (2019). https://​doi.​org/​10.​1145/​3302509.​3313321
5.
Zurück zum Zitat Pellizzoni, R., Meredith, P., Caccamo, M., Rosu, G.: BusMOP: a runtime monitoring framework for PCI peripherals, p. 23 (2008) Pellizzoni, R., Meredith, P., Caccamo, M., Rosu, G.: BusMOP: a runtime monitoring framework for PCI peripherals, p. 23 (2008)
8.
Zurück zum Zitat Goodloe, A.E., Pike, L.: Monitoring distributed real-time systems: a survey and future directions, (NASA/CR-2010-216724), p. 49, July 2010 Goodloe, A.E., Pike, L.: Monitoring distributed real-time systems: a survey and future directions, (NASA/CR-2010-216724), p. 49, July 2010
9.
Zurück zum Zitat Whalen, M.W., Murugesan, A., Rayadurgam, S., Heimdahl, M.P.E.: Structuring simulink models for verification and reuse. In: Proceedings of the 6th International Workshop on Modeling in Software Engineering - MiSE 2014, Hyderabad, India, pp. 19–24 (2014). https://doi.org/10.1145/2593770.2593776 Whalen, M.W., Murugesan, A., Rayadurgam, S., Heimdahl, M.P.E.: Structuring simulink models for verification and reuse. In: Proceedings of the 6th International Workshop on Modeling in Software Engineering - MiSE 2014, Hyderabad, India, pp. 19–24 (2014). https://​doi.​org/​10.​1145/​2593770.​2593776
10.
Zurück zum Zitat Lee, E.A., Seshia, S.A.: Introduction to Embedded Systems: A Cyber-Physical Systems Approach, 2nd edn. MIT Press, Cambridge (2017)MATH Lee, E.A., Seshia, S.A.: Introduction to Embedded Systems: A Cyber-Physical Systems Approach, 2nd edn. MIT Press, Cambridge (2017)MATH
11.
Zurück zum Zitat Fournaris, A.P., Komninos, A., Lalos, A.S., Kalogeras, A.P., Koulamas, C., Serpanos, D.: Design and run-time aspects of secure cyber-physical systems. In: Biffl, S., Eckhart, M., Lüder, A., Weippl, E. (eds.) Security and Quality in Cyber-Physical Systems Engineering, pp. 357–382. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-25312-7_13CrossRef Fournaris, A.P., Komninos, A., Lalos, A.S., Kalogeras, A.P., Koulamas, C., Serpanos, D.: Design and run-time aspects of secure cyber-physical systems. In: Biffl, S., Eckhart, M., Lüder, A., Weippl, E. (eds.) Security and Quality in Cyber-Physical Systems Engineering, pp. 357–382. Springer, Cham (2019). https://​doi.​org/​10.​1007/​978-3-030-25312-7_​13CrossRef
14.
Zurück zum Zitat Potluri, S., Diedrich, C., Roy Nanduru, S.R., Vasamshetty, K.: Development of injection attacks toolbox in MATLAB/Simulink for attacks simulation in industrial control system applications. In: 2019 IEEE 17th International Conference on Industrial Informatics (INDIN), July 2019, vol. 1, pp. 1192–1198 (2019). https://doi.org/10.1109/indin41052.2019.8972171 Potluri, S., Diedrich, C., Roy Nanduru, S.R., Vasamshetty, K.: Development of injection attacks toolbox in MATLAB/Simulink for attacks simulation in industrial control system applications. In: 2019 IEEE 17th International Conference on Industrial Informatics (INDIN), July 2019, vol. 1, pp. 1192–1198 (2019). https://​doi.​org/​10.​1109/​indin41052.​2019.​8972171
Metadaten
Titel
Multilevel Runtime Security and Safety Monitoring for Cyber Physical Systems Using Model-Based Engineering
verfasst von
Smitha Gautham
Athira V. Jayakumar
Carl Elks
Copyright-Jahr
2020
DOI
https://doi.org/10.1007/978-3-030-55583-2_14