Resilient Information Systems Security

Invited talk at University of Catania

Daniele Sgandurra gave an invited talk at “The Workshop on Security Frameworks“, Dipartimento di Matematica e Informatica, University of Catania, on the 1st of December 2015. The talk is entitled “Dissecting Ransomware for Fun and (Cyber-Criminals’) Profit”.

Compositional Reliability Analysis for Probabilistic Component Automata

In this paper we propose a modelling formalism, Probabilistic Component Automata (PCA), as a probabilistic extension to Interface Automata to represent the probabilistic behaviour of component-based systems. The aim is to support composition of component-based models for both behaviour and non-functional properties such as reliability. We show how addi- tional primitives for modelling failure scenarios, failure handling and failure propagation, as well as other algebraic operators, can be combined with models of the system architecture to automatically construct a system model by composing models of its subcomponents. The approach is supported by the tool LTSA-PCA, an extension of LTSA, which […]