信息物理系统的自动化恶意软件设计
密码学与安全
2021-07-07 v1 系统与控制
系统与控制
摘要
为信息物理系统（CPS）设计攻击对于在设计时与运行时评估CPS韧性，以及从测试床生成丰富的研究数据集至关重要。针对信息物理系统的攻击区别于IT攻击之处在于其主要目标是危害物理系统。因此，设计此类攻击需要同时具备网络与物理系统知识。当前生成攻击的做法要么利用现有IT网络安全知识聚焦于系统的网络部分，要么使用启发式方法注入可能危害物理过程的攻击。本文中，我们提出了一种系统化的方法，可在不知晓物理系统或其动力学的情况下，从CPS安全与控制规范自动生成完整性攻击。所生成的攻击违反了系统运行与安全要求，因而对系统韧性构成真实检验。我们给出了一种自动化恶意软件载荷开发的算法。文中给出了若干示例以说明所提方法。
引用
@article{arxiv.2107.02538,
title = {Automated Malware Design for Cyber Physical Systems},
author = {Ashraf Tantawy},
journal= {arXiv preprint arXiv:2107.02538},
year = {2021}
}