Refinement of Systems with an Attacker Focus

Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen*

*Kontaktforfatter

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

1 Citationer (Scopus)

Abstract

Tools and techniques for assessing the possibilities and impacts of attacks on IT systems are necessary to ensure the IT systems upon which society depends on continue to operate despite targeted attacks. This reality compels the development of intuitive brainstorming formalisms like attack-defense trees. With an attack-defense tree and a suitable system description, one can validate if a system succumbs to or withstands a described attack. Yet having established a secure system, it is still necessary to understand if and how system security may or may not be compromised or improved when the system requires modifications. Our research describes how we develop and implement a modeling methodology to resolve attacker-oriented refinement between systems.

OriginalsprogEngelsk
TitelFormal Methods for Industrial Critical Systems : 28th International Conference, FMICS 2023, Proceedings
RedaktørerAlessandro Cimatti, Laura Titolo
Antal sider17
ForlagSpringer Nature Switzerland AG
Publikationsdato2023
Sider96-112
ISBN (Trykt)978-3-031-43680-2
ISBN (Elektronisk)978-3-031-43681-9
DOI
StatusUdgivet - 2023
Begivenhed28th International Conference on Formal Methods in Industrial Critical Systems, FMICS 2023 - Antwerp, Belgien
Varighed: 20 sep. 202322 sep. 2023

Konference

Konference28th International Conference on Formal Methods in Industrial Critical Systems, FMICS 2023
Land/OmrådeBelgien
ByAntwerp
Periode20/09/202322/09/2023
NavnLecture Notes in Computer Science
Nummer14290
ISSN0302-9743

Bibliografisk note

Publisher Copyright:
© 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.

Fingeraftryk

Dyk ned i forskningsemnerne om 'Refinement of Systems with an Attacker Focus'. Sammen danner de et unikt fingeraftryk.

Citationsformater