面向信息物理攻击的形式化影响度量概念（完整版）
计算机科学中的逻辑
2021-05-25 v1 密码学与安全
系统与控制
系统与控制
摘要
工业设施与关键基础设施正转变为动态适应外部事件的“智能”环境。其结果是一个由异构物理与网络组件构成的生态系统，这些组件集成于信息物理系统中，并越来越暴露于信息物理攻击之下，即网络空间中 adversely affect 系统核心物理进程的安全漏洞。我们提供了一种形式化组合度量，用于估计以 IoT 系统传感器设备为目标的信息物理攻击的影响，该系统在 Hennessy 与 Regan 的定时过程语言的一个简单扩展中形式化。我们的影响度量依赖于 Desharnais 等人针对并发系统的弱互模拟度量的离散时间推广。我们在对一个简单监控系统的两种不同攻击上展示了我们定义的充分性。
引用
@article{arxiv.1806.10463,
title = {Towards a formal notion of impact metric for cyber-physical attacks (full version)},
author = {Ruggero Lanotte and Massimo Merro and Simone Tini},
journal= {arXiv preprint arXiv:1806.10463},
year = {2021}
}