MaxSAT Evaluation 2019 -- Benchmark: Identifying Security-Critical Cyber-Physical Components in Weighted AND/OR Graphs

Autor:	Barrère, Martín, Hankin, Chris, Nicolau, Nicolas, Eliades, Demetrios G., Parisini, Thomas
Rok vydání:	2019
Předmět:	Computer Science - Cryptography and Security Computer Science - Networking and Internet Architecture Electrical Engineering and Systems Science - Systems and Control
Druh dokumentu:	Working Paper
Popis:	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 components. However, identifying critical nodes in AND/OR graphs is an NP-complete problem. We address this problem by efficiently transforming the input AND/OR graph-based model into a weighted logical formula that is then used to build and solve a Weighted Partial MaxSAT problem. The benchmark includes 80 cases with AND/OR graphs of different size and composition as well as the optimal cost and solution for each case. Comment: arXiv admin note: substantial text overlap with arXiv:1905.04796
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/1911.00516 Zobrazit plný text záznamu View this record from Arxiv