Network security supported by arguments

Abstract

Argumentation has been proved as a simple yet powerful approach to manage conflicts in reasoning with the purpose to find subsets of "surviving" arguments. Our intent is to exploit such form of resolution to support the administration of security in complex systems, e.g., in case threat countermeasures are in conflict with non-functional requirements. The proposed formalisation is able to find the required security controls and explicitly provide arguments supporting this selection. Therefore, an explanation automatically comes as part of the suggested solution, facilitating human comprehension.

Firewall configuration: An application of multiagent metalevel argumentation

“…[41] applied Defeasible Logic Programming (DeLP) for validation and reconfiguration of a firewall, while [14] used and argument-based logic programming engine to enforce security requirements dynamically. Similarly, [29] showed how to analyze security systems using abstract argumentation framework.…”

Discovering Dominant Users’ Opinions in Reddit

“…Argumentation has also been explored as a cybersecurity tool [12] for helping making decisions where a balance has to be found between security, operability and cost. The main difference between this field and our framework is that arguments are not com-ments on a social network, but statements about system configuration, sensor data, etc.…”