Name
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. |
Year | DOI | Venue |
|---|---|---|
2017 | 10.1007/978-3-319-61566-0_91 | COMPLEX, INTELLIGENT, AND SOFTWARE INTENSIVE SYSTEMS, CISIS-2017 |
Field | DocType | Volume |
Declaration,Countermeasure,Formal reasoning,Scheduling (computing),Computer science,Computer security,Planner,Theoretical computer science,International law,Distributed computing | Conference | 611 |
ISSN | Citations | PageRank |
2194-5357 | 1 | 0.37 |
References | Authors | |
12 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Flora Amato | 1 | 458 | 66.48 |
| Francesco Moscato | 2 | 298 | 32.28 |