Carlos E. Rubio-Medrano, Ziming Zhao 0001, Gail-Joon Ahn. Toward Automated Enforcement of Cyber-Physical Security Requirements for Energy Delivery Systems. In Second IEEE International Conference on Trust, Privacy and Security in Intelligent Systems and Applications, TPS-ISA 2020, Atlanta, GA, USA, October 28-31, 2020. pages 319-322, IEEE, 2020. [doi]
Abstract is missing.