{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:25:19Z","timestamp":1750220719495,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":50,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,10,6]],"date-time":"2020-10-06T00:00:00Z","timestamp":1601942400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"NRF","award":["NSoE_DeST-SCI2019-0004"],"award-info":[{"award-number":["NSoE_DeST-SCI2019-0004"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,10,6]]},"DOI":"10.1145\/3384941.3409589","type":"proceedings-article","created":{"date-parts":[[2020,10,6]],"date-time":"2020-10-06T16:09:33Z","timestamp":1602000573000},"page":"11-22","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Towards Systematically Deriving Defence Mechanisms from Functional Requirements of Cyber-Physical Systems"],"prefix":"10.1145","author":[{"given":"Cheah Huei","family":"Yoong","sequence":"first","affiliation":[{"name":"Singapore University of Technology and Design, Singapore, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Venkata Reddy","family":"Palleti","sequence":"additional","affiliation":[{"name":"Indian Institute of Petroleum and Energy, Visakhapatnam, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arlindo","family":"Silva","sequence":"additional","affiliation":[{"name":"Singapore University of Technology and Design, Singapore, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christopher M.","family":"Poskitt","sequence":"additional","affiliation":[{"name":"Singapore Management University, Singapore, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,10,6]]},"reference":[{"volume-title":"iTrust Labs: Datasets. https:\/\/itrust.sutd.edu.sg\/itrust-labs_datasets\/","year":"2020","key":"e_1_3_2_1_1_1","unstructured":"2020. iTrust Labs: Datasets. https:\/\/itrust.sutd.edu.sg\/itrust-labs_datasets\/ . Accessed : July 2020 . 2020. iTrust Labs: Datasets. https:\/\/itrust.sutd.edu.sg\/itrust-labs_datasets\/. Accessed: July 2020."},{"volume-title":"Secure Water Treatment (SWaT). https:\/\/itrust.sutd.edu.sg\/itrust-labs-home\/itrust-labs_swat\/","year":"2020","key":"e_1_3_2_1_2_1","unstructured":"2020. Secure Water Treatment (SWaT). https:\/\/itrust.sutd.edu.sg\/itrust-labs-home\/itrust-labs_swat\/ . Accessed : July 2020 . 2020. Secure Water Treatment (SWaT). https:\/\/itrust.sutd.edu.sg\/itrust-labs-home\/itrust-labs_swat\/. Accessed: July 2020."},{"key":"e_1_3_2_1_3_1","volume-title":"Proc. ACM\/IEEE International Conference on Cyber-Physical Systems (ICCPS","author":"Adepu Sridhar","year":"2020","unstructured":"Sridhar Adepu , Ferdinand Brasser , Luis Garcia , Michael Rodler , Lucas Davi , Ahmad-Reza Sadeghi , and Saman A. Zonouz . 2020. Control Behavior Integrity for Distributed Cyber-Physical Systems . In Proc. ACM\/IEEE International Conference on Cyber-Physical Systems (ICCPS 2020 ). IEEE, 30--40. Sridhar Adepu, Ferdinand Brasser, Luis Garcia, Michael Rodler, Lucas Davi, Ahmad-Reza Sadeghi, and Saman A. Zonouz. 2020. Control Behavior Integrity for Distributed Cyber-Physical Systems. In Proc. ACM\/IEEE International Conference on Cyber-Physical Systems (ICCPS 2020). IEEE, 30--40."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2897845.2897855"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-33630-5_7"},{"key":"e_1_3_2_1_6_1","volume-title":"Distributed Attack Detection in a Water Treatment Plant: Method and Case Study","author":"Adepu Sridhar","year":"2018","unstructured":"Sridhar Adepu and Aditya Mathur . 2018. Distributed Attack Detection in a Water Treatment Plant: Method and Case Study . IEEE Transactions on Dependable and Secure Computing ( 2018 ). Sridhar Adepu and Aditya Mathur. 2018. Distributed Attack Detection in a Water Treatment Plant: Method and Case Study. IEEE Transactions on Dependable and Secure Computing (2018)."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3264888.3264893"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3196494.3196532"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3274694.3274748"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243781"},{"key":"e_1_3_2_1_11_1","volume-title":"Murty","author":"Adrian Bondy J.","year":"2008","unstructured":"J. Adrian Bondy and Uppaluri S. R . Murty . 2008 . Graph Theory. Springer . J. Adrian Bondy and Uppaluri S. R. Murty. 2008. Graph Theory. Springer."},{"key":"e_1_3_2_1_12_1","volume-title":"Proc. ACM Asia Conference on Computer and Communications Security (AsiaCCS","author":"Alvaro A.","year":"2011","unstructured":"Alvaro A. C\u00e1 rdenas, Saurabh Amin , Zong-Syun Lin , Yu-Lun Huang , Chi-Yen Huang , and Shankar Sastry . 2011 . Attacks against process control systems: risk assessment, detection, and response . In Proc. ACM Asia Conference on Computer and Communications Security (AsiaCCS 2011). ACM, 355--366. Alvaro A. C\u00e1 rdenas, Saurabh Amin, Zong-Syun Lin, Yu-Lun Huang, Chi-Yen Huang, and Shankar Sastry. 2011. Attacks against process control systems: risk assessment, detection, and response. In Proc. ACM Asia Conference on Computer and Communications Security (AsiaCCS 2011). ACM, 355--366."},{"key":"e_1_3_2_1_13_1","volume-title":"Proc. IEEE International Conference On Machine Learning And Applications (ICMLA","author":"Macas Carrasco Mayra Alexandra","year":"2019","unstructured":"Mayra Alexandra Macas Carrasco and Chunming Wu . 2019 . An Unsupervised Framework for Anomaly Detection in a Water Treatment System . In Proc. IEEE International Conference On Machine Learning And Applications (ICMLA 2019). IEEE, 1298--1305. Mayra Alexandra Macas Carrasco and Chunming Wu. 2019. An Unsupervised Framework for Anomaly Detection in a Water Treatment System. In Proc. IEEE International Conference On Machine Learning And Applications (ICMLA 2019). IEEE, 1298--1305."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-48989-6_10"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00016"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00093"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3395363.3397376"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3134600.3134640"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243752"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2020.101935"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2019.23265"},{"key":"e_1_3_2_1_22_1","volume-title":"Proc. Annual Network and Distributed System Security Symposium (NDSS","author":"Formby David","year":"2016","unstructured":"David Formby , Preethi Srinivasan , Andrew M. Leonard , Jonathan D. Rogers , and Raheem A. Beyah . 2016. Who's in Control of Your Control System? Device Fingerprinting for Cyber-Physical Systems . In Proc. Annual Network and Distributed System Security Symposium (NDSS 2016 ). The Internet Society. David Formby, Preethi Srinivasan, Andrew M. Leonard, Jonathan D. Rogers, and Raheem A. Beyah. 2016. Who's in Control of Your Control System? Device Fingerprinting for Cyber-Physical Systems. In Proc. Annual Network and Distributed System Security Symposium (NDSS 2016). The Internet Society."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3203245"},{"key":"e_1_3_2_1_24_1","volume-title":"Proc. International Conference on Critical Information Infrastructures Security (CRITIS 2016)","author":"Goh Jonathan","year":"2016","unstructured":"Jonathan Goh , Sridhar Adepu , Khurum Nazir Junejo , and Aditya Mathur . 2016 . A Dataset to Support Research in the Design of Secure Water Treatment Systems . In Proc. International Conference on Critical Information Infrastructures Security (CRITIS 2016) . Jonathan Goh, Sridhar Adepu, Khurum Nazir Junejo, and Aditya Mathur. 2016. A Dataset to Support Research in the Design of Secure Water Treatment Systems. In Proc. International Conference on Critical Information Infrastructures Security (CRITIS 2016) ."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2017.36"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2018.3761722"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/PSCE.2009.4840183"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/IWESEP.2017.12"},{"key":"e_1_3_2_1_29_1","volume-title":"A Review of Cybersecurity Incidents in the Water Sector. Journal of Environmental Engineering (09","author":"Hassanzadeh Amin","year":"2019","unstructured":"Amin Hassanzadeh , Amin Rasekh , Stefano Galelli , Mohsen Aghashahi , Riccardo Taormina , Avi Ostfeld , and M. Katherine Banks . 2019. A Review of Cybersecurity Incidents in the Water Sector. Journal of Environmental Engineering (09 2019 ). Amin Hassanzadeh, Amin Rasekh, Stefano Galelli, Mohsen Aghashahi, Riccardo Taormina, Avi Ostfeld, and M. Katherine Banks. 2019. A Review of Cybersecurity Incidents in the Water Sector. Journal of Environmental Engineering (09 2019)."},{"key":"e_1_3_2_1_30_1","volume-title":"Proc. IEEE International Conference On Trust, Security And Privacy In Computing And Communications (TrustCom","author":"He Zecheng","year":"2019","unstructured":"Zecheng He , Aswin Raghavan , Guangyuan Hu , Sek M. Chai , and Ruby B. Lee . 2019. Power-Grid Controller Anomaly Detection with Enhanced Temporal Deep Learning . In Proc. IEEE International Conference On Trust, Security And Privacy In Computing And Communications (TrustCom 2019 ). IEEE, 160--167. Zecheng He, Aswin Raghavan, Guangyuan Hu, Sek M. Chai, and Ruby B. Lee. 2019. Power-Grid Controller Anomaly Detection with Enhanced Temporal Deep Learning. In Proc. IEEE International Conference On Trust, Security And Privacy In Computing And Communications (TrustCom 2019). IEEE, 160--167."},{"key":"e_1_3_2_1_31_1","unstructured":"ICS-CERT Alert. 2016. Cyber-Attack Against Ukrainian Critical Infrastructure. https:\/\/ics-cert.us-cert.gov\/alerts\/IR-ALERT-H-16-056-01. document number: IR-ALERT-H-16-056-01.  ICS-CERT Alert. 2016. Cyber-Attack Against Ukrainian Critical Infrastructure. https:\/\/ics-cert.us-cert.gov\/alerts\/IR-ALERT-H-16-056-01. document number: IR-ALERT-H-16-056-01."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDMW.2017.149"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.compind.2014.10.008"},{"key":"e_1_3_2_1_34_1","volume-title":"Proc. International Workshop on the Security of Industrial Control Systems and Cyber-Physical Systems (CyberICPS 2019)","volume":"11980","author":"Kim Jonguk","year":"2019","unstructured":"Jonguk Kim , Jeong-Han Yun , and Hyoung Chun Kim . 2019 . Anomaly Detection for Industrial Control Systems Using Sequence-to-Sequence Neural Networks . In Proc. International Workshop on the Security of Industrial Control Systems and Cyber-Physical Systems (CyberICPS 2019) (LNCS), Vol. 11980 . Springer, 3--18. Jonguk Kim, Jeong-Han Yun, and Hyoung Chun Kim. 2019. Anomaly Detection for Industrial Control Systems Using Sequence-to-Sequence Neural Networks. In Proc. International Workshop on the Security of Industrial Control Systems and Cyber-Physical Systems (CyberICPS 2019) (LNCS), Vol. 11980. Springer, 3--18."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243751"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3264888.3264896"},{"key":"e_1_3_2_1_37_1","volume-title":"Water treatment plant hacked, chemical mix changed for tap supplies. The Register","author":"Leyden John","year":"2016","unstructured":"John Leyden . 2016. Water treatment plant hacked, chemical mix changed for tap supplies. The Register ( 2016 ). https:\/\/www.theregister.com\/2016\/03\/24\/water_utility_hacked\/ Accessed : July 2020. John Leyden. 2016. Water treatment plant hacked, chemical mix changed for tap supplies. The Register (2016). https:\/\/www.theregister.com\/2016\/03\/24\/water_utility_hacked\/ Accessed: July 2020."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3196494.3196546"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijcip.2016.11.002"},{"key":"e_1_3_2_1_40_1","volume-title":"Proc. International Workshop on Cyber-physical Systems for Smart Water Networks (CySWater@CPSWeek","author":"Aditya","year":"2016","unstructured":"Aditya P. Mathur and Nils Ole Tippenhauer. 2016. SWaT: a water treatment testbed for research and training on ICS security . In Proc. International Workshop on Cyber-physical Systems for Smart Water Networks (CySWater@CPSWeek 2016 ). IEEE Computer Society, 31--36. Aditya P. Mathur and Nils Ole Tippenhauer. 2016. SWaT: a water treatment testbed for research and training on ICS security. In Proc. International Workshop on Cyber-physical Systems for Smart Water Networks (CySWater@CPSWeek 2016). IEEE Computer Society, 31--36."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1080\/00207543.2011.565086"},{"volume-title":"Proc. International Conference on Axiomatic Design (ICAD 2000)","author":"Hassan","key":"e_1_3_2_1_42_1","unstructured":"Hassan A. Mohsen and Ethem Cekecek. 2000. Thoughts on the use of axiomatic designs within the product development process . In Proc. International Conference on Axiomatic Design (ICAD 2000) . Hassan A. Mohsen and Ethem Cekecek. 2000. Thoughts on the use of axiomatic designs within the product development process. In Proc. International Conference on Axiomatic Design (ICAD 2000) ."},{"key":"e_1_3_2_1_43_1","volume-title":"Proc. Workshop on Cyber-Physical Systems Security and PrivaCy (CPS-SPC","author":"Narayanan Vedanth","year":"2018","unstructured":"Vedanth Narayanan and Rakesh B. Bobba . 2018. Learning Based Anomaly Detection for Industrial Arm Applications . In Proc. Workshop on Cyber-Physical Systems Security and PrivaCy (CPS-SPC 2018 ). ACM, 13--23. Vedanth Narayanan and Rakesh B. Bobba. 2018. Learning Based Anomaly Detection for Industrial Arm Applications. In Proc. Workshop on Cyber-Physical Systems Security and PrivaCy (CPS-SPC 2018). ACM, 13--23."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijcip.2018.08.007"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6160641"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3264888.3264890"},{"key":"e_1_3_2_1_47_1","volume-title":"Axiomatic Design: Advances and Applications","author":"Suh Nam Pyo","year":"2001","unstructured":"Nam Pyo Suh . 2001 . Axiomatic Design: Advances and Applications . Oxford University Press . Nam Pyo Suh. 2001. Axiomatic Design: Advances and Applications .Oxford University Press."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/3387940.3391486"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2020.2980921"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1115\/1.2953076"}],"event":{"name":"ASIA CCS '20: The 15th ACM Asia Conference on Computer and Communications Security","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"],"location":"Taipei Taiwan","acronym":"ASIA CCS '20"},"container-title":["Proceedings of the 6th ACM on Cyber-Physical System Security Workshop"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3384941.3409589","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3384941.3409589","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:33:27Z","timestamp":1750199607000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3384941.3409589"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10,6]]},"references-count":50,"alternative-id":["10.1145\/3384941.3409589","10.1145\/3384941"],"URL":"https:\/\/doi.org\/10.1145\/3384941.3409589","relation":{},"subject":[],"published":{"date-parts":[[2020,10,6]]},"assertion":[{"value":"2020-10-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}