15
IRUS TotalDownloads
Altmetric
MaxSAT Evaluation 2019 - Benchmark: Identifying Security-Critical Cyber-Physical Components in Weighted AND/OR Graphs
| File | Description | Size | Format | |
|---|---|---|---|---|
 Benchmark-MSE19--Barrere-et-al.pdf | Accepted version | 193.21 kB | Adobe PDF | View/Open |
| Title: | MaxSAT Evaluation 2019 - Benchmark: Identifying Security-Critical Cyber-Physical Components in Weighted AND/OR Graphs |
| Authors: | Barrere Cambrun, M Hankin, C Nicolaou, N Eliades, DG Parisini, T |
| Item Type: | Conference Paper |
| Abstract: | 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. |
| Issue Date: | 1-Nov-2019 |
| Date of Acceptance: | 7-Jul-2019 |
| URI: | http://hdl.handle.net/10044/1/75055 |
| Start Page: | 32 |
| End Page: | 33 |
| Copyright Statement: | © 2019 The Author(s) |
| Sponsor/Funder: | Horizon2020 |
| Funder's Grant Number: | Project ID: 739551 |
| Conference Name: | MaxSAT Evaluation 2019 (affiliated with SAT 2019) |
| Keywords: | MaxSAT benchmark Security metrics Industrial control systems Cyber-physical systems AND-OR graphs MaxSAT resolution cs.CR cs.CR cs.NI cs.SY eess.SY |
| Publication Status: | Published |
| Start Date: | 2019-07-07 |
| Finish Date: | 2019-07-12 |
| Conference Place: | Lisbon, Portugal |
| Appears in Collections: | Faculty of Engineering |