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]
@inproceedings{YoongPSP20,
title = {Towards Systematically Deriving Defence Mechanisms from Functional Requirements of Cyber-Physical Systems},
author = {Cheah Huei Yoong and Venkata Reddy Palleti and Arlindo Silva and Christopher M. Poskitt},
year = {2020},
doi = {10.1145/3384941.3409589},
url = {https://doi.org/10.1145/3384941.3409589},
researchr = {https://researchr.org/publication/YoongPSP20},
cites = {0},
citedby = {0},
pages = {11-22},
booktitle = {Proceedings of the 6th ACM Workshop on Cyber-Physical System Security, CPSS@AsiaCCS 2020, Taipei, Taiwan, October 6, 2020},
editor = {Sokratis K. Katsikas and Cristina Alcaraz},
publisher = {ACM},
isbn = {978-1-4503-7608-2},
}