scispace - formally typeset
S

Siwar Kriaa

Researcher at Électricité de France

Publications -  6
Citations -  408

Siwar Kriaa is an academic researcher from Électricité de France. The author has contributed to research in topics: Industrial control system & Security information and event management. The author has an hindex of 4, co-authored 6 publications receiving 305 citations. Previous affiliations of Siwar Kriaa include École Centrale Paris & CentraleSupélec.

Papers
More filters
Journal ArticleDOI

A survey of approaches combining safety and security for industrial control systems

TL;DR: A comprehensive survey of existing approaches to industrial facility design and risk assessment that consider both safety and security and a comparative analysis of the different approaches identified in the literature is provided.
Proceedings ArticleDOI

Modeling the Stuxnet attack with BDMP: Towards more formal risk assessments

TL;DR: This paper proposes to model the Stuxnet attack with BDMP (Boolean logic Driven Markov Processes) formalism and highlights the advantages of BDMP compared to attack trees often used in security assessment.
Book ChapterDOI

Safety and Security Interactions Modeling Using the BDMP Formalism: Case Study of a Pipeline

TL;DR: This paper presents an analysis method that enables the identification and ranking of risks leading to a safety issue, regardless of the origin of those risks: accidental or due to malevolence.
Proceedings ArticleDOI

A Model Based Approach For SCADA Safety And Security Joint Modelling: S-Cube

TL;DR: A new model based approach: S-cube for SCADA Safety and Security joint modelling is proposed that provides a risk analysis framework that enables to evaluate industrial information and control architectures.
Journal ArticleDOI

A new safety and security risk analysis framework for industrial control systems

TL;DR: S-cube (for supervisory control and data acquisition safety and security joint modeling) is a new model-based approach that enables, thanks to a knowledge base, formal modeling of the physical and functional architecture of cyber-physical systems and automatic generation of a qualitative and quantitative analysis encompassing safety risks (accidental) and security risks (malicious).