推导信息物理系统的网络安全需求
密码学与安全
2019-01-08 v1 软件工程
摘要
当今的信息物理系统（CPS）未得到针对网络攻击的良好保护。受保护的 CPS 常因其网络安全设计过程的手工性质而存在防御漏洞。有必要在不牺牲功能性能、时序与成本约束的前提下，自动化或半自动化 CPS 的设计与实现，以满足严苛的网络安全需求（CSR）。第一步是为每个 CPS 推导源自该 CPS 特定功能设计的 CSR。这正是我们的系统——推导产生受保护物理系统的网络安全需求（Deriving Cyber-security Requirements Yielding Protected Physical Systems, DCRYPPS）——所承担的任务。DCRYPPS 将人工智能（AI）技术，包括规划与基于模型的诊断，应用于网络安全的重要领域。
引用
@article{arxiv.1901.01867,
title = {Deriving Cyber-security Requirements for Cyber Physical Systems},
author = {Robert Laddaga and Paul Robertson and Howard Shrobe and Dan Cerys and Prakash Manghwani and Patrik Meijer},
journal= {arXiv preprint arXiv:1901.01867},
year = {2019}
}