面向安全 CPS 实现的监控与检测系统形式化综合
密码学与安全
2020-03-02 v1 系统与控制
系统与控制
摘要
我们考虑在工厂与控制器之间通过受损网络进行数据交换时存在中间人攻击的情况下，保护信息物理系统（CPS）给定控制回路实现的问题。为此，存在各种检测方案可为理论控制模型提供针对此类攻击的数学保证。然而，此类保证可能不适用于实际的控制软件实现。在本文中，我们提出一种形式化方法，用于综合具有可变阈值的攻击检测器，其能够防止降低性能的隐蔽攻击，同时最小化误报。
引用
@article{arxiv.2002.12412,
title = {Formal Synthesis of Monitoring and Detection Systems for Secure CPS Implementations},
author = {Ipsita Koley and Saurav Kumar Ghosh and Soumyajit Dey and Debdeep Mukhopadhyay and Amogh Kashyap K N and Sachin Kumar Singh and Lavanya Lokesh and Jithin Nalu Purakkal and Nishant Sinha},
journal= {arXiv preprint arXiv:2002.12412},
year = {2020}
}
备注
4 Pages, Date 2019 Poster Presentation