The main objective of this paper is to define a logic for reasoning abou...
We expect an increase in frequency and severity of cyber-attacks that co...
The frequency and harmfulness of cyber-attacks are increasing every day,...
The increase of connectivity and the impact it has in every day life is
...