A Formal Verification Approach to Handle Attack Graphs

Davide Catta; Jean Leneutre; Antonina Mijatovic; Johanna Ulin; Vadim Malvone

Research.Publish.Connect.

*Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search *Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search *Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search *Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

A Formal Verification Approach to Handle Attack Graphs

Topics: Agent Models and Architectures; Intelligence and Cybersecurity; Knowledge Representation and Reasoning; Multi-Agent Systems; Privacy, Safety, Security, and Ethical Issues

In Proceedings of the 16th International Conference on Agents and Artificial Intelligence - Volume 3: ICAART, 125-132, 2024 , Rome, Italy

Authors: Davide Catta ¹ ; Jean Leneutre ² ; Antonina Mijatovic ² ; Johanna Ulin ² and Vadim Malvone ²

Affiliations: ¹ Università degli Studi di Napoli Federico Secondo, Naples, Italy ; ² Télécom Paris, Palaiseau, France

Keyword(s): Attack Graphs, Formal Verification, Multi-Agent Systems.

Abstract: We propose a formalization of attack graphs through a multi-agent approach. Specifically, we focus on dynamic scenarios that capture the interaction between an attacker and defenders during a cyberattack. We introduce a formal definition of an attack graph using interpreted systems, demonstrating how this formalization enables us to express interesting security properties. Finally, we present a tool AG2IS, which we have developed as an implementation of our formal definitions, to perform the formal verification of attack graphs.

CC BY-NC-ND 4.0

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

You are not signed in, therefore limits apply to your IP address 18.222.148.124

In the current month:

Recent papers: 100 available of 100 total

2⁺ years older papers: 200 available of 200 total

Paper citation in several formats:

Catta, D.; Leneutre, J.; Mijatovic, A.; Ulin, J. and Malvone, V. (2024). A Formal Verification Approach to Handle Attack Graphs. In Proceedings of the 16th International Conference on Agents and Artificial Intelligence - Volume 3: ICAART; ISBN 978-989-758-680-4; ISSN 2184-433X, SciTePress, pages 125-132. DOI: 10.5220/0012310000003636

@conference{icaart24,
author={Davide Catta. and Jean Leneutre. and Antonina Mijatovic. and Johanna Ulin. and Vadim Malvone.},
title={A Formal Verification Approach to Handle Attack Graphs},
booktitle={Proceedings of the 16th International Conference on Agents and Artificial Intelligence - Volume 3: ICAART},
year={2024},
pages={125-132},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0012310000003636},
isbn={978-989-758-680-4},
issn={2184-433X},
}

TY - CONF

JO - Proceedings of the 16th International Conference on Agents and Artificial Intelligence - Volume 3: ICAART
TI - A Formal Verification Approach to Handle Attack Graphs
SN - 978-989-758-680-4
IS - 2184-433X
AU - Catta, D.
AU - Leneutre, J.
AU - Mijatovic, A.
AU - Ulin, J.
AU - Malvone, V.
PY - 2024
SP - 125
EP - 132
DO - 10.5220/0012310000003636
PB - SciTePress