Fault Tree Analysis: Identifying Maximum Probability Minimal Cut Sets with MaxSAT

Autor: Martín Barrère, Chris Hankin

Publikováno v: 2020 50th Annual IEEE-IFIP International Conference on Dependable Systems and Networks-Supplemental Volume (DSN-S)
DSN (Supplements)
50th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2020)

In this paper, we present a novel MaxSAT-based technique to compute Maximum Probability Minimal Cut Sets (MPMCSs) in fault trees. We model the MPMCS problem as a Weighted Partial MaxSAT problem and solve it using a parallel SAT-solving architecture.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2c6564433edd4bf146cf507f0ae1f560
http://arxiv.org/abs/2005.03003

Trustworthy Inter-connected Cyber-Physical Systems

Autor: Chris Hankin, Martín Barrère

Publikováno v: Critical Information Infrastructures Security ISBN: 9783030582944
CRITIS

In this paper we identify some of the particular challenges that are encountered when trying to secure cyber-physical systems. We describe three of our current activities: the architecture of a system for monitoring cyber-physical systems; a new appr

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bb7b08e211c5941e0742f9311839d9e8
https://doi.org/10.1007/978-3-030-58295-1_1

CPS-MT: A Real-Time Cyber-Physical System Monitoring Tool for Security Research

Autor: Francesca Boem, Giulio Zizzo, Martín Barrère, Chris Hankin, Angelo Barboni, Sergio Maffeis, Thomas Parisini

Publikováno v: RTCSA
2018 IEEE 24th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)
24th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA2018)

Monitoring systems are essential to understand and control the behaviour of systems and networks. Cyber-physical systems (CPS) are particularly delicate under that perspective since they involve real-time constraints and physical phenomena that are n

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::20944f79ca923e1a74de5c08684728ee
https://doi.org/10.1109/rtcsa.2018.00040

Naggen: A network attack graph generation tool — IEEE CNS 17 poster

Autor: Emil Lupu, Martín Barrère

Publikováno v: CNS

Attack graphs constitute a powerful security tool aimed at modelling the many ways in which an attacker may compromise different assets in a network. Despite their usefulness in several security-related activities (e.g. hardening, monitoring, forensi

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::0dc4e1983484bed7a94d0729fcc1fb57
https://doi.org/10.1109/cns.2017.8228667

Machine-assisted Cyber Threat Analysis using Conceptual Knowledge Discovery: – Position Paper –

Autor: Martín Barrère, Gustavo Betarte, Victor Codocedo, Marcelo Rodríguez, Hernán Astudillo, Marcelo Aliquintuy, Javier Baliosian, Rémi Badonnel, Olivier Festor, Carlos Raniery Paula dos Santos, Jéferson Campos Nobre, Lisandro Zambenedetti Granville, Amedeo Napoli

Publikováno v: What can FCA do for Artificial Intelligence? (FCA4AI'15)
Proceedings of the International FCA4AI 2015
FCA4AI 2015-Workshop What can FCA do for Artificial Intelligence?
FCA4AI 2015-Workshop What can FCA do for Artificial Intelligence?, Jul 2015, Buenos Aires, Argentina. pp.75-85
HAL

International audience; Over the last years, computer networks have evolved into highly dynamic and interconnected environments, involving multiple heterogeneous devices and providing a myriad of services on top of them. This complex landscape has ma

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8af18b06b20f5c745b9591c7d542bbe7
http://hdl.handle.net/10044/1/33962