2019年MaxSAT评测——基准测试：在加权AND/OR图中识别安全关键的信息物理组件
密码学与安全
2019-11-05 v1 网络与互联网体系结构
系统与控制
系统与控制
摘要
本文提出了一个聚焦于识别AND/OR图中关键节点的MaxSAT基准测试。我们使用AND/OR图对工业控制系统（ICS）进行建模，因为它们能够语义上把握ICS组件间复杂的逻辑相互依赖关系。然而，识别AND/OR图中的关键节点是一个NP完全问题。我们通过将输入的基于AND/OR图的模型高效转换为加权逻辑公式，进而构建并求解加权部分MaxSAT问题来处理该问题。该基准测试包含80个案例，具有不同规模和构成的AND/OR图，以及每个案例的最优代价与解。
引用
@article{arxiv.1911.00516,
title = {MaxSAT Evaluation 2019 -- Benchmark: Identifying Security-Critical Cyber-Physical Components in Weighted AND/OR Graphs},
author = {Martín Barrère and Chris Hankin and Nicolas Nicolau and Demetrios G. Eliades and Thomas Parisini},
journal= {arXiv preprint arXiv:1911.00516},
year = {2019}
}
备注
arXiv admin note: substantial text overlap with arXiv:1905.04796