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.