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

Cheah Huei Yoong, Venkata Reddy Palleti, Arlindo Silva, Christopher M. Poskitt

Browse the full CCS paper archive.