Deduction and algorithmic approaches to reason about risk, privacy and security in multi-agent systems

Recentemente c'è stato un crescente interesse per la privacy e il suo controllo nei sistemi multi-agente. La necessità di condividere le informazioni e il desiderio di mantenerli privati sono due concetti in competizione , in alcuni casi anche in conflitto, che incidono sui sistemi multi-agente, in particolare nei sistemi collaborativi. Il problema principale che ho affrontato è la protezione della sicurezza nei sistemi multi-agente. In questa tesi propongo diversi approcci, che sono tutti collegati gli uni agli altri. Il primo approccio è quello algoritmico, che viene utilizzato per garantire la sicurezza di un sistema multi-agente dagli attacchi compiuti dai suoi membri. In seguito presento un metodo deduttivo, che permette di effettuare una analisi del rischio. L'approccio deduttivo è composto da un tableau system che si basa su una struttura che permette la rappresentazione e il ragionamento sul rischio. Il tableau system utilizza le relazioni causali tra eventi. Per migliorare l'analisi dei rischi presento una logica con il suo sistema di riscrittura che trova svolgimenti plausibili di eventi (che sono eventi legati tra loro da diversi rapporti causali).

Recently there has been an increasing interest in privacy and its control in multi-agent systems. The need to share information and the desire to keep it private are two competing concepts, in some cases even in conflict, which affect the multi-agent systems, in particular collaboration systems. The main problem that I deal with is the protection of security in multi-agent systems. I propose different approaches, which are all related to each other. The first approach is an algorithmic one, used for ensuring a multi-agent system from different attacks performed by its members. I later introduce a deductive approach, which permits one to perform risk analysis. The deductive approach is composed by a tableau system that is based on a framework for representing and reasoning about risk. This tableau system uses the causal relations between events. For improving the risk analysis I introduce a logic with its rewriting system that finds plausible courses of events (that are events related to each other by different causal relations).