Trustworthy multi-modal framework for life-critical systems security

Aakarsh Rao, Jerzy Rozenblit, Roman Lysecky, Johannes Sametinger

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

With the advent of network connectivity and complex software applications, life-critical systems like medical devices are subject to a plethora of security risks and vulnerabilities. Security threats and attacks exploiting these vulnerabilities have been shown to compromise patient safety by hampering essential functionality. This necessitates incorporating security from the very design of software. Isolation of software functionality into different modes and switching between them based on risk assessment, while maintaining a fail-safe mode ensuring device’s essential functionality is a compelling design. Formal modeling is an essential ingredient for verification of such a design. Hence, in this paper, we formally model a trustworthy multi-modal framework for life-critical systems security and in turn safety. We formalize a multiple mode based software design approach of operation with a fail-safe mode that maintains critical functionality. We ensure trustworthyness by formalizing a composite risk model incorporated into the design for run-time risk assessment and management.

Original languageEnglish (US)
Title of host publicationSimulation Series
EditorsErika Frydenlund, Shafagh Shafer, Hamdi Kavak
PublisherThe Society for Modeling and Simulation International
Pages183-191
Number of pages9
Edition2
ISBN (Electronic)9781510860148
ISBN (Print)9781510860131, 9781510860148, 9781510860155, 9781510860162, 9781510860179, 9781510860186, 9781510860186, 9781510860209
StatePublished - 2018
Event51st Annual Simulation Symposium, ANSS 2018, Part of the 2018 Spring Simulation Multi-Conference, SpringSim 2018 - Baltimore, United States
Duration: Apr 15 2018Apr 18 2018

Publication series

NameSimulation Series
Number2
Volume50
ISSN (Print)0735-9276

Other

Other51st Annual Simulation Symposium, ANSS 2018, Part of the 2018 Spring Simulation Multi-Conference, SpringSim 2018
CountryUnited States
CityBaltimore
Period4/15/184/18/18

Keywords

  • Formal modeling
  • Life-critical system security
  • Multi-modal
  • Risk assessment

ASJC Scopus subject areas

  • Computer Networks and Communications

Fingerprint Dive into the research topics of 'Trustworthy multi-modal framework for life-critical systems security'. Together they form a unique fingerprint.

Cite this