Cheah Huei Yoong, Venkata Reddy Palleti, Arlindo Silva, Christopher M. Poskitt. Towards Systematically Deriving Defence Mechanisms from Functional Requirements of Cyber-Physical Systems. In Sokratis K. Katsikas, Cristina Alcaraz, editors, Proceedings of the 6th ACM Workshop on Cyber-Physical System Security, CPSS@AsiaCCS 2020, Taipei, Taiwan, October 6, 2020. pages 11-22, ACM, 2020. [doi]
Abstract is missing.