{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,26]],"date-time":"2026-09-26T11:49:52Z","timestamp":1790423392005,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,12,3]],"date-time":"2018-12-03T00:00:00Z","timestamp":1543795200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,12,3]]},"DOI":"10.1145\/3274694.3274745","type":"proceedings-article","created":{"date-parts":[[2020,4,13]],"date-time":"2020-04-13T02:37:37Z","timestamp":1586745457000},"page":"582-594","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":22,"title":["Finding Dependencies between Cyber-Physical Domains for Security Testing of Industrial Control Systems"],"prefix":"10.1145","author":[{"given":"John H.","family":"Castellanos","sequence":"first","affiliation":[{"name":"Singapore University of Technology and Design, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mart\u00edn","family":"Ochoa","sequence":"additional","affiliation":[{"name":"Department of Applied Mathematics and Computer Science, Universidad del Rosario, Bogot\u00e1, Colombia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jianying","family":"Zhou","sequence":"additional","affiliation":[{"name":"Singapore University of Technology and Design, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2018,12,3]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"The neo4j graph platform the #1 platform for connected data. https:\/\/neo4j.com\/ accessed: 2018-04-27  The neo4j graph platform the #1 platform for connected data. https:\/\/neo4j.com\/ accessed: 2018-04-27"},{"key":"e_1_3_2_1_2_1","unstructured":"Analysis of the Cyber Attack on the Ukrainian Power Grid Table of Contents. Tech. rep. (2016) https:\/\/ics.sans.org\/media\/E-ISAC{_}SANS{_}Ukraine{_}DUC{_}5.pdf  Analysis of the Cyber Attack on the Ukrainian Power Grid Table of Contents. Tech. rep. (2016) https:\/\/ics.sans.org\/media\/E-ISAC{_}SANS{_}Ukraine{_}DUC{_}5.pdf"},{"key":"e_1_3_2_1_3_1","first-page":"392","volume-title":"Eriksson","author":"Bleikertz S.","year":"2011","unstructured":"Bleikertz , S. , Gro\u00df , T. , Schunter , M. , Eriksson , K. : Automated Information Flow Analysis of Virtualized Infrastructures. In : Atluri, V., Diaz, C. (eds.) ESORICS - European Symposium on Research in Computer Security. Lecture Notes in Computer Science, vol. 6879 , pp. 392 -- 415 . Springer Berlin Heidelberg , Berlin, Heidelberg ( 2011 ) Bleikertz, S., Gro\u00df, T., Schunter, M., Eriksson, K.: Automated Information Flow Analysis of Virtualized Infrastructures. In: Atluri, V., Diaz, C. (eds.) ESORICS - European Symposium on Research in Computer Security. Lecture Notes in Computer Science, vol. 6879, pp. 392--415. Springer Berlin Heidelberg, Berlin, Heidelberg (2011)"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/645768.667616"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/646791.756942"},{"key":"e_1_3_2_1_6_1","volume-title":"S.: Research Challenges for the Security of Control Systems. In: USENIX - USENIX conference on Operating systems design and implementation (2008)","author":"C\u00e1rdenas A.A.","unstructured":"C\u00e1rdenas , A.A. , Amin , S. , Sastry , S.: Research Challenges for the Security of Control Systems. In: USENIX - USENIX conference on Operating systems design and implementation (2008) C\u00e1rdenas, A.A., Amin, S., Sastry, S.: Research Challenges for the Security of Control Systems. In: USENIX - USENIX conference on Operating systems design and implementation (2008)"},{"key":"e_1_3_2_1_7_1","first-page":"277","volume-title":"Sanders","author":"Chen B.","year":"2014","unstructured":"Chen , B. , Schmittner , C. , Ma , Z. , Temple , W.G. , Dong , X. , Jones , D.L. , Sanders , W.H. : Security Analysis of Urban Railway Systems: The Need for a Cyber-Physical Perspective. In: nternational Conference on Computer Safety, Reliability, and Security . pp. 277 -- 290 ( 2014 ) Chen, B., Schmittner, C., Ma, Z., Temple, W.G., Dong, X., Jones, D.L., Sanders, W.H.: Security Analysis of Urban Railway Systems: The Need for a Cyber-Physical Perspective. In: nternational Conference on Computer Safety, Reliability, and Security. pp. 277--290 (2014)"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3134600.3134640"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0096-0551(02)00006-1"},{"key":"e_1_3_2_1_10_1","volume-title":"Center for Research in Cyber Security: Secure water treatment testbed","author":"Trust","unstructured":"i Trust , Center for Research in Cyber Security: Secure water treatment testbed . http:\/\/itrust.sutd.edu.sg\/research\/testbeds\/secure-water-treatment-swat\/, accessed: 2018-04-20 iTrust, Center for Research in Cyber Security: Secure water treatment testbed. http:\/\/itrust.sutd.edu.sg\/research\/testbeds\/secure-water-treatment-swat\/, accessed: 2018-04-20"},{"key":"e_1_3_2_1_11_1","volume-title":"Tiegelkamp","author":"John K.H.","year":"2010","unstructured":"John , K.H. , Tiegelkamp , M. : IEC 61131-3: programming industrial automation systems: concepts and programming languages, requirements for programming systems, decision-making aids. Springer Science & Business Media ( 2010 ) John, K.H., Tiegelkamp, M.: IEC 61131-3: programming industrial automation systems: concepts and programming languages, requirements for programming systems, decision-making aids. Springer Science & Business Media (2010)"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2897035.2897041"},{"key":"e_1_3_2_1_13_1","first-page":"670","volume-title":"INDIN - IEEE International Conference on Industrial Informatics.","author":"Krotofil M.","year":"2013","unstructured":"Krotofil , M. , Gollmann , D. : Industrial control systems security: What is happening? In: INDIN - IEEE International Conference on Industrial Informatics. pp. 670 -- 675 ( 2013 ) Krotofil, M., Gollmann, D.: Industrial control systems security: What is happening? In: INDIN - IEEE International Conference on Industrial Informatics. pp. 670--675 (2013)"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2011.67"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837462"},{"key":"e_1_3_2_1_16_1","volume-title":"Seshia","author":"Lee E.A.","year":"2017","unstructured":"Lee , E.A. , Seshia , S.A. : Introduction to Embedded Systems A Cyber-Physical Systems Approach. MIT Press , second edn. ( 2017 ), http:\/\/leeseshia.org\/ Lee, E.A., Seshia, S.A.: Introduction to Embedded Systems A Cyber-Physical Systems Approach. MIT Press, second edn. (2017), http:\/\/leeseshia.org\/"},{"key":"e_1_3_2_1_17_1","volume-title":"Connway","author":"Lee R.","year":"2014","unstructured":"Lee , R. , Assante , M. , Connway , T. : Ics cp\/pe (cyber-to-physical or process effects) case study paper--german steel mill cyber attack. Sans ICS ( 2014 ) Lee, R., Assante, M., Connway, T.: Ics cp\/pe (cyber-to-physical or process effects) case study paper--german steel mill cyber attack. Sans ICS (2014)"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3139337.3139347"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/646734.701484"},{"key":"e_1_3_2_1_20_1","first-page":"427","volume-title":"ESORICS - European Symposium on Research in Computer Security.","volume":"8134","author":"Rocchetto M.","year":"2013","unstructured":"Rocchetto , M. , Tippenhauer , N.O. : On Attacker Models and Profiles for Cyber-Physical Systems . In: ESORICS - European Symposium on Research in Computer Security. vol. 8134 , pp. 427 -- 449 ( 2013 ) Rocchetto, M., Tippenhauer, N.O.: On Attacker Models and Profiles for Cyber-Physical Systems. In: ESORICS - European Symposium on Research in Computer Security. vol. 8134, pp. 427--449 (2013)"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2002.806121"},{"key":"e_1_3_2_1_22_1","first-page":"73","volume-title":"Miller","author":"Slay J.","year":"2007","unstructured":"Slay , J. , Miller , M. : Lessons learned from the maroochy water breach. Critical infrastructure protection pp. 73 -- 82 ( 2007 ) Slay, J., Miller, M.: Lessons learned from the maroochy water breach. Critical infrastructure protection pp. 73--82 (2007)"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/353629.353648"}],"event":{"name":"ACSAC '18: 2018 Annual Computer Security Applications Conference","location":"San Juan PR USA","acronym":"ACSAC '18","sponsor":["ACSA Applied Computing Security Assoc"]},"container-title":["Proceedings of the 34th Annual Computer Security Applications Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3274694.3274745","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3274694.3274745","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:57:56Z","timestamp":1750208276000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3274694.3274745"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,12,3]]},"references-count":23,"alternative-id":["10.1145\/3274694.3274745","10.1145\/3274694"],"URL":"https:\/\/doi.org\/10.1145\/3274694.3274745","relation":{},"subject":[],"published":{"date-parts":[[2018,12,3]]},"assertion":[{"value":"2018-12-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}