IIT Home Page CNR Home Page

Quantitative Analysis of Network Security with Abstract Argumentation

Abstract Argumentation Framework (AAF) is a useful technique for analysis of arguments supporting or discouraging decisions. In particular, we apply argumentation logic to support the administration of security in computer networks. Our approach captures the high-level topology of a system and helps to specify which and where security countermeasures are more appropriate. In this paper we apply a quantitative analysis of possible solutions found by the Abstract Argumentation Framework in order to compare these solutions and select the most suitable ones.


4th International Workshop on Qantitative Aspects of Security Assurance, Vienna, 2015

Autori IIT:

Francesco Santini

Foto di Francesco Santini

Tipo: Articolo in Atti di convegno internazionale con referee
Area di disciplina: Computer Science & Engineering

Attività: Metodi formali per la sicurezza di sistemi ICT