信息物理系统中效应可观测性的局限
密码学与安全
2019-03-25 v1
摘要
信息物理系统在设计上或无意间增加的互联性，扩大了网络攻击面与攻击向量。观测这些攻击的效应有助于检测它们。本文中，我们表明此类系统的许多攻击会导致一种称为过程模型不一致(PMI)的控制回路效应。我们的形式化方法阐明了过程模型的不完整性、不正确性、安全性与不一致性之间的关系。我们表明不完整的进程模型导致不一致。令人惊讶的是，即便在完整且正确的模型中也可能出现不一致。我们通过自动柜员机(ATM)实例阐释了我们的方法，并描述了理论结果的实践含义。
引用
@article{arxiv.1903.09482,
title = {Limitations on Observability of Effects in Cyber-Physical Systems},
author = {Suresh K. Damodaran and Paul D. Rowe},
journal= {arXiv preprint arXiv:1903.09482},
year = {2019}
}
备注
Hot Topics on Science of Security (HotSoS 2019)