Attribute Repair for Threat Prevention

Thorsten Tarrach, Ebrahimi Masoud (Author and Speaker), Sandra König, Christoph Schmittner, Roderick Bloem, Dejan Nickovic (Speaker)

Research output: Chapter in Book or Conference ProceedingsConference Proceedings with Oral Presentationpeer-review


We propose a model-based procedure for preventing security threats using formal models. We encode system models and threats as satisfiability modulo theory (SMT) formulas. This model allows us to ask security questions as satisfiability queries. We formulate threat prevention as an optimization problem over the same formulas. The outcome of our threat prevention procedure is a suggestion of model attribute repair that eliminates threats. We implement our approach using the state-of-the-art Z3 SMT solver and interface it with the threat analysis tool THREATGET. We demonstrate the value of our procedure in two case studies from automotive and smart home domains.
Original languageEnglish
Title of host publicationComputer Safety, Reliability, and Security - 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings
Number of pages14
ISBN (Electronic)978-3-031-40923-3
Publication statusPublished - 20 Sept 2023
EventSAFECOMP 2023: 42nd International Conference on Computer Safety, Reliability and Security: DECSoS 2023: 18th International Workshop on Dependable Smart Embedded Cyber-Physical Systems and Systems-of-Systems - Toulouse, Toulouse, France
Duration: 19 Sept 202322 Sept 2023


WorkshopSAFECOMP 2023: 42nd International Conference on Computer Safety, Reliability and Security
Internet address

Research Field

  • Dependable Systems Engineering


Dive into the research topics of 'Attribute Repair for Threat Prevention'. Together they form a unique fingerprint.

Cite this