Zobrazeno 1 - 10
of 25
pro vyhledávání: '"Barrère, Martín"'
MaxSAT Evaluation 2020 -- Benchmark: Identifying Maximum Probability Minimal Cut Sets in Fault Trees
Autor:
Barrère, Martín, Hankin, Chris
This paper presents a MaxSAT benchmark focused on the identification of Maximum Probability Minimal Cut Sets (MPMCSs) in fault trees. We address the MPMCS problem by transforming the input fault tree into a weighted logical formula that is then used
Externí odkaz:
http://arxiv.org/abs/2007.08255
Autor:
Barrère, Martín, Hankin, Chris
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:
http://arxiv.org/abs/2005.03003
Publikováno v:
In Computers & Security September 2023 132
Publikováno v:
6th International Symposium for ICS & SCADA Cyber Security Research 2019 (ICS-CSR), pp. 49-58 (2019)
Over the last years, Industrial Control Systems (ICS) have become increasingly exposed to a wide range of cyber-physical threats. Efficient models and techniques able to capture their complex structure and identify critical cyber-physical components
Externí odkaz:
http://arxiv.org/abs/1911.09404
This paper presents a MaxSAT benchmark focused on identifying critical nodes in AND/OR graphs. We use AND/OR graphs to model Industrial Control Systems (ICS) as they are able to semantically grasp intricate logical interdependencies among ICS compone
Externí odkaz:
http://arxiv.org/abs/1911.00516
In recent years, Industrial Control Systems (ICS) have become an appealing target for cyber attacks, having massive destructive consequences. Security metrics are therefore essential to assess their security posture. In this paper, we present a novel
Externí odkaz:
http://arxiv.org/abs/1905.04796
Attack graphs are a powerful tool for security risk assessment by analysing network vulnerabilities and the paths attackers can use to compromise network resources. The uncertainty about the attacker's behaviour makes Bayesian networks suitable to mo
Externí odkaz:
http://arxiv.org/abs/1510.02427
Measuring cyber-physical security in industrial control systems via minimum-effort attack strategies
Publikováno v:
In Journal of Information Security and Applications June 2020 52
Autor:
Barrère, Martín, Hankin, Chris
Cyber-Physical Systems (CPS) often involve complex networks of interconnected software and hardware components that are logically combined to achieve a common goal or mission; for example, keeping a plane in the air or providing energy to a city. Fai
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2659::62c0f9d4f9a3dca276952bf22e18d9ef
https://zenodo.org/record/5115816
https://zenodo.org/record/5115816
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.