Ángel Jesús Varela-Vaca, David G. Rosado, Luís Enrique Sanchez, María Teresa Gómez López, Rafael M. Gasca, Eduardo Fernández-Medina. Definition and Verification of Security Configurations of Cyber-Physical Systems. In Sokratis K. Katsikas, Frédéric Cuppens, Nora Cuppens, Costas Lambrinoudakis, Christos Kalloniatis, John Mylopoulos, Annie I. Antón, Stefanos Gritzalis, Weizhi Meng, Steven Furnell, editors, Computer Security - ESORICS 2020 International Workshops, CyberICPS, SECPRE, and ADIoT, Guildford, UK, September 14-18, 2020, Revised Selected Papers. Volume 12501 of Lecture Notes in Computer Science, pages 135-155, Springer, 2020. [doi]
Abstract is missing.