| 1. |
- Flammini, Francesco, Senior Lecturer, 1978-, et al.
(författare)
-
DETECT : A novel framework for the detection of attacks to critical infrastructures
- 2009
-
Ingår i: Safety, Reliability and Risk Analysis. - : Taylor & Francis. - 9780415485135 ; , s. 105-112
-
Konferensbidrag (refereegranskat)abstract
- Critical Infrastructure Protection (CIP) against potential threats has become a major issue in modern society. CIP involves a set of multidisciplinary activities and requires the adoption of proper protection mechanisms, usually supervised by centralized monitoring systems. This paper presents the motivation, the working principles and the software architecture of DETECT (DEcision Triggering Event Composer & Tracker), a new framework aimed at the automatic and early detection of threats against critical infrastructures. The framework is based on the fact that non trivial attack scenarios are made up by a set of basic steps which have to be executed in a predictable sequence (with possible variants). Such scenarios are identified during Vulnerability Assessment which is a fundamental phase of the Risk Analysis for critical infrastructures. DETECT operates by performing a model-based logical, spatial and temporal correlation of basic events detected by the sensorial subsystem (possibly including intelligent video-surveillance, wireless sensor networks, etc.). In order to achieve this aim, DETECT is based on a detection engine which is able to reason about heterogeneous data, implementing a centralized application of "data fusion". The framework can be interfaced with or integrated in existing monitoring systems as a decision support tool or even to automatically trigger adequate countermeasures.
|
|
| 2. |
|
|
| 3. |
- Flammini, Francesco, Senior Lecturer, 1978-, et al.
(författare)
-
Multiformalism techniques for critical infrastructure modeling
- 2010
-
Ingår i: International Journal of System of Systems Engineering. - 1748-0671 .- 1748-068X. ; 2:1, s. 19-37
-
Tidskriftsartikel (refereegranskat)abstract
- This paper proposes an approach to use multiformalism techniques for critical infrastructure modelling. To this aim, the state of the art of related works on the subject is surveyed and a general scheme for intra and inter infrastructure models is described. Multiformalism approaches allow modellers to adapt the choice of formal languages to the nature, complexity and abstraction layer of the subsystems to be modelled. Another advantage is the possibility of reusing existing dependability models and solvers. Complexity and heterogeneity are managed through modularity, and composition allows for representing structural or functional dependencies. An example model based on a railway infrastructure is used to illustrate the concepts introduced by the paper. Copyright © 2010 Inderscience Enterprises Ltd.
|
|
| 4. |
- Flammini, Francesco, Senior Lecturer, 1978-, et al.
(författare)
-
Reliability, safety and security of innovative command/control systems : Model-based approaches and related industrial applications
- 2010
-
Ingår i: Ingegneria Ferroviaria. - 0020-0956. ; 65:6, s. 543-558
-
Tidskriftsartikel (refereegranskat)abstract
- Model-based approaches and related industrial applications were used in industrial case-studies in the railway and metropolitan transport sectors. Each of the presented an application of advanced modeling techniques to problems related to safety, reliability, and security. These experiences highlighted an efficient transfer to the industry of tools and methods developed in the academy. A method was described for the availability evaluation of a railway system considering all the failure modes and fault origins and exploiting a modeling technique known as 'multi-formalism'. A safety evaluation technique was demonstrated for majority voting systems in presence of imperfect maintenance, using abstraction and modeling techniques based on different languages. The concept of model-based-testing was also introduced to improve effectiveness and efficiency of the certification process.
|
|
