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

IIT authors:

Francesco Santini

Foto di Francesco Santini

Type: Article in proceedings of international peer-reviewed conference
Field of reference: Computer Science & Engineering

Activity: Metodi formali per la sicurezza di sistemi ICT