Imperial College London
Alternate

Professor Christopher Hankin

Faculty of Engineering, Department of Computing

Professor of Computing
 
 
 
//

Contact

 

c.hankin Website

 
 
//

Location

 

Sherfield BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@inproceedings{Barrere:2019,
author = {Barrere, Cambrun M and Hankin, C and Nicolaou, N and Eliades, DG and Parisini, T},
pages = {32--33},
title = {MaxSAT Evaluation 2019 - Benchmark: Identifying Security-Critical Cyber-Physical Components in Weighted AND/OR Graphs},
url = {https://www.imperial.ac.uk/people/m.barrere},
year = {2019}
}
Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AB  - 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.
AU  - Barrere,Cambrun M
AU  - Hankin,C
AU  - Nicolaou,N
AU  - Eliades,DG
AU  - Parisini,T
EP  - 33
PY  - 2019///
SP  - 32
TI  - MaxSAT Evaluation 2019 - Benchmark: Identifying Security-Critical Cyber-Physical Components in Weighted AND/OR Graphs
UR  - https://www.imperial.ac.uk/people/m.barrere
UR  - http://hdl.handle.net/10138/306989
UR  - http://hdl.handle.net/10044/1/75055
ER  -
Download