{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,26]],"date-time":"2026-08-26T05:48:21Z","timestamp":1787723301317,"version":"build-2784847793"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,4,2]],"date-time":"2017-04-02T00:00:00Z","timestamp":1491091200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"National Research Foundation of Singapore","award":["NRF2014NCR-NCR001-40"],"award-info":[{"award-number":["NRF2014NCR-NCR001-40"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,4,2]]},"DOI":"10.1145\/3052973.3053024","type":"proceedings-article","created":{"date-parts":[[2017,3,31]],"date-time":"2017-03-31T12:22:54Z","timestamp":1490962974000},"page":"114-126","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":25,"title":["Towards Formal Security Analysis of Industrial Control Systems"],"prefix":"10.1145","author":[{"given":"Marco","family":"Rocchetto","sequence":"first","affiliation":[{"name":"University of Luxembourg, Luxembourg, Luxembourg"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nils Ole","family":"Tippenhauer","sequence":"additional","affiliation":[{"name":"Singapore University of Technology and Design, Singapore, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2017,4,2]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2016.14"},{"key":"e_1_3_2_1_2_1","unstructured":"D. Antonioli H. R. Ghaeini S. Adepu M. Ochoa and N. O. Tippenhauer. Gamifying education and research on ics security: Design implementation and results of s3. 2017. Cornell University ArXiv e-Prints http:\/\/arxiv.org\/abs\/1702.03067v1.  D. Antonioli H. R. Ghaeini S. Adepu M. Ochoa and N. O. Tippenhauer. Gamifying education and research on ics security: Design implementation and results of s3. 2017. Cornell University ArXiv e-Prints http:\/\/arxiv.org\/abs\/1702.03067v1."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28756-5_19"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_27"},{"key":"e_1_3_2_1_5_1","volume-title":"JELIA, LNAI 3229","author":"Armando A.","year":"2004"},{"key":"e_1_3_2_1_6_1","unstructured":"AVANTSSAR. Deliverable 5.3: AVANTSSAR Library of validated problem cases. www.avantssar.eu 2010.  AVANTSSAR. Deliverable 5.3: AVANTSSAR Library of validated problem cases. www.avantssar.eu 2010."},{"key":"e_1_3_2_1_7_1","unstructured":"AVANTSSAR. Deliverable 2.3 (update): ASLan++ specification and tutorial 2011. Available at http:\/\/www.avantssar.eu.  AVANTSSAR. Deliverable 2.3 (update): ASLan++ specification and tutorial 2011. Available at http:\/\/www.avantssar.eu."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03359-9_1"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2019599.2019601"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-004-0055-7"},{"key":"e_1_3_2_1_11_1","unstructured":"M. Bugliesi S. Calzavara S. M\u00f6dersheim and P. Modesti. Security protocol specification and verification with AnBx. behaviour 15:16 2015.  M. Bugliesi S. Calzavara S. M\u00f6dersheim and P. Modesti. Security protocol specification and verification with AnBx. behaviour 15:16 2015."},{"key":"e_1_3_2_1_12_1","volume-title":"Workshop on Future Directions in Cyber-physical Systems Security. DHS","author":"C\u00e1rdenas A. A.","year":"2009"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.adhoc.2009.04.012"},{"key":"e_1_3_2_1_14_1","volume-title":"Networks and Netwars: The Future of Terror, Crime, and Militancy","author":"Denning D. E.","year":"2001"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2160929"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1983.1056650"},{"key":"e_1_3_2_1_17_1","volume-title":"Springer Berlin Heidelberg","author":"Doup\u00e9 A.","year":"2010"},{"key":"e_1_3_2_1_18_1","volume-title":"Proceedings of Conference on Dependable Systems and Networks (DSN)","author":"Feddersen B.","year":"2015"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2013.6575362"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/SURV.2012.071812.00124"},{"key":"e_1_3_2_1_21_1","volume-title":"The MIT Press","author":"Jackson D.","year":"2006"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"K. H. John and M. Tiegelkamp. IEC 61131--3: Programming Industrial Automation Systems Concepts and Programming Languages Requirements for Programming Systems Decision-Making Aids. Springer 2nd edition 2010.   K. H. John and M. Tiegelkamp. IEC 61131--3: Programming Industrial Automation Systems Concepts and Programming Languages Requirements for Programming Systems Decision-Making Aids. Springer 2nd edition 2010.","DOI":"10.1007\/978-3-642-12015-2"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2897035.2897041"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2011.34"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/CySWater.2016.7469060"},{"key":"e_1_3_2_1_26_1","unstructured":"A. Ornaghi and M. Valleri. Ettercap. https:\/\/ettercap.github.io\/ettercap\/ last visited August 3 2016.  A. Ornaghi and M. Valleri. Ettercap. https:\/\/ettercap.github.io\/ettercap\/ last visited August 3 2016."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-55415-5_3"},{"key":"e_1_3_2_1_28_1","unstructured":"M. Rocchetto and N. O. Tippenhauer. APE (Attacker Profile Examiner) 2016. Available at http:\/\/research.scy-phy.net\/ape\/.  M. Rocchetto and N. O. Tippenhauer. APE (Attacker Profile Examiner) 2016. Available at http:\/\/research.scy-phy.net\/ape\/."},{"key":"e_1_3_2_1_29_1","unstructured":"M. Rocchetto and N. O. Tippenhauer. ASLan++ formal model of SWaT 2016. Available at https:\/\/research.scy-phy.net\/swatmodel.  M. Rocchetto and N. O. Tippenhauer. ASLan++ formal model of SWaT 2016. Available at https:\/\/research.scy-phy.net\/swatmodel."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-47846-3_12"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-45741-3_22"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2009.6"},{"key":"e_1_3_2_1_33_1","volume-title":"ODVA","author":"Schiffer V.","year":"2006"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"crossref","unstructured":"M. Schmidt and H. Lipson. Distilling free-form natural laws from experimental data. science 324(5923):81--85 2009.  M. Schmidt and H. Lipson. Distilling free-form natural laws from experimental data. science 324(5923):81--85 2009.","DOI":"10.1126\/science.1165893"},{"key":"e_1_3_2_1_35_1","unstructured":"R. Software. Studio 5000\u00ae. http:\/\/www.rockwellautomation.com\/rockwellsoftware\/products\/studio-5000.page last visited August 3 2016.  R. Software. Studio 5000\u00ae. http:\/\/www.rockwellautomation.com\/rockwellsoftware\/products\/studio-5000.page last visited August 3 2016."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2766498.2766514"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/11805618_21"},{"key":"e_1_3_2_1_38_1","volume-title":"Proceedings of Singapore Cyber Security R&D Conference (SG-CRC)","author":"Urbina D.","year":"2016"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33675-1_31"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25271-6_1"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10696-0_29"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1038\/474142a"}],"event":{"name":"ASIA CCS '17: ACM Asia Conference on Computer and Communications Security","location":"Abu Dhabi United Arab Emirates","acronym":"ASIA CCS '17","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"]},"container-title":["Proceedings of the 2017 ACM on Asia Conference on Computer and Communications Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3052973.3053024","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3052973.3053024","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:36:58Z","timestamp":1750217818000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3052973.3053024"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,4,2]]},"references-count":42,"alternative-id":["10.1145\/3052973.3053024","10.1145\/3052973"],"URL":"https:\/\/doi.org\/10.1145\/3052973.3053024","relation":{},"subject":[],"published":{"date-parts":[[2017,4,2]]},"assertion":[{"value":"2017-04-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}