Definition and Verification of Security Configurations of Cyber-Physical Systems.
Ángel Jesús Varela-VacaDavid G. RosadoLuís Enrique SanchezMaría Teresa Gómez LópezRafael M. GascaEduardo Fernández-MedinaPublished in: CyberICPS/SECPRE/ADIoT@ESORICS (2020)