Towards Systematically Deriving Defence Mechanisms from Functional Requirements of Cyber-Physical Systems

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]

Authors

Cheah Huei Yoong

This author has not been identified. Look up 'Cheah Huei Yoong' in Google

Venkata Reddy Palleti

This author has not been identified. Look up 'Venkata Reddy Palleti' in Google

Arlindo Silva

This author has not been identified. Look up 'Arlindo Silva' in Google

Christopher M. Poskitt

This author has not been identified. It may be one of the following persons: Look up 'Christopher M. Poskitt' in Google