We are in a period where Computer Science leads lots of activities in many fields and the number of Cyber activities is growing up every day. Safety and security issues are going to be considered the most important properties in computer systems. But in the age of Cyber lives, Cyber Crimes are an everyday increasing problem. Thinking in large-scale, enacting Cyber attacks, or even countermeasures to attacks involving different Countries, may be compared to war declaration. In this scenario it is clear the problem of scheduling large-scale countermeasures to Cyber attacks. We propose here an automatic way to plan countermeasures to Cyber Attacks, that takes into account International laws and treaties as enabling condition to actions. The planning is based on a formal, multi-agent based, model of Actors in a Cyber scenario and on formal reasoning by counterexamples.

A planner for supporting countermeasures in large scale cyber attacks

Moscato, Francesco
2018

Abstract

We are in a period where Computer Science leads lots of activities in many fields and the number of Cyber activities is growing up every day. Safety and security issues are going to be considered the most important properties in computer systems. But in the age of Cyber lives, Cyber Crimes are an everyday increasing problem. Thinking in large-scale, enacting Cyber attacks, or even countermeasures to attacks involving different Countries, may be compared to war declaration. In this scenario it is clear the problem of scheduling large-scale countermeasures to Cyber attacks. We propose here an automatic way to plan countermeasures to Cyber Attacks, that takes into account International laws and treaties as enabling condition to actions. The planning is based on a formal, multi-agent based, model of Actors in a Cyber scenario and on formal reasoning by counterexamples.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11386/4782521
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 2
social impact