{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T16:15:03Z","timestamp":1778256903544,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,11,20]],"date-time":"2021-11-20T00:00:00Z","timestamp":1637366400000},"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":[[2021,11,20]]},"DOI":"10.1145\/3487212.3487346","type":"proceedings-article","created":{"date-parts":[[2021,12,21]],"date-time":"2021-12-21T20:01:45Z","timestamp":1640116905000},"page":"134-141","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Formal modelling of attack scenarios and mitigation strategies in IEEE 1588"],"prefix":"10.1145","author":[{"given":"Kelvin","family":"Anto","sequence":"first","affiliation":[{"name":"The University of Auckland, Auckland, New Zealand"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Partha S.","family":"Roop","sequence":"additional","affiliation":[{"name":"The University of Auckland, Auckland, New Zealand"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Akshya K.","family":"Swain","sequence":"additional","affiliation":[{"name":"The University of Auckland, Auckland, New Zealand"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,12,21]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAIS48893.2020.9096742"},{"key":"e_1_3_2_1_2_1","volume-title":"Principles of cyber-physical systems","author":"Alur Rajeev","unstructured":"Rajeev Alur . 2015. Principles of cyber-physical systems . MIT Press . Rajeev Alur. 2015. Principles of cyber-physical systems. MIT Press."},{"key":"e_1_3_2_1_3_1","volume-title":"A theory of timed automata. Theoretical computer science 126, 2","author":"Alur Rajeev","year":"1994","unstructured":"Rajeev Alur and David L Dill . 1994. A theory of timed automata. Theoretical computer science 126, 2 ( 1994 ), 183--235. Rajeev Alur and David L Dill. 1994. A theory of timed automata. Theoretical computer science 126, 2 (1994), 183--235."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/I2MTC.2016.7520408"},{"key":"e_1_3_2_1_5_1","volume-title":"A tutorial on UPPAAL. Formal methods for the design of real-time systems","author":"Behrmann Gerd","year":"2004","unstructured":"Gerd Behrmann , Alexandre David , and Kim G Larsen . 2004. A tutorial on UPPAAL. Formal methods for the design of real-time systems ( 2004 ), 200--236. Gerd Behrmann, Alexandre David, and Kim G Larsen. 2004. A tutorial on UPPAAL. Formal methods for the design of real-time systems (2004), 200--236."},{"key":"e_1_3_2_1_6_1","volume-title":"International hybrid systems workshop (New Brunswick, USA)","author":"Bengtsson Johan","unstructured":"Johan Bengtsson , Kim Larsen , Fredrik Larsson , Paul Pettersson , and Wang Yi. 1995. UPPAAL---a tool suite for automatic verification of real-time systems . In International hybrid systems workshop (New Brunswick, USA) . Springer , Heidelberg, Berlin , Germany, 232--243. Johan Bengtsson, Kim Larsen, Fredrik Larsson, Paul Pettersson, and Wang Yi. 1995. UPPAAL---a tool suite for automatic verification of real-time systems. In International hybrid systems workshop (New Brunswick, USA). Springer, Heidelberg, Berlin, Germany, 232--243."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/SBESC.2014.14"},{"key":"e_1_3_2_1_8_1","volume-title":"Model reference adaptive control: from theory to practice","author":"Butler Hans","unstructured":"Hans Butler . 1992. Model reference adaptive control: from theory to practice . Prentice-Hall, Inc. Hans Butler. 1992. Model reference adaptive control: from theory to practice. Prentice-Hall, Inc."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/MNET.2010.5634434"},{"key":"e_1_3_2_1_10_1","volume-title":"Measurement, control, and communication using IEEE 1588","author":"Eidson John C","unstructured":"John C Eidson . 2006. Measurement, control, and communication using IEEE 1588 . Springer Science & Business Media . John C Eidson. 2006. Measurement, control, and communication using IEEE 1588. Springer Science & Business Media."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2017.2748583"},{"key":"e_1_3_2_1_12_1","volume-title":"Subspace methods for system identification","author":"Katayama Tohru","unstructured":"Tohru Katayama . 2005. Subspace methods for system identification . Vol. 1 . Springer . Tohru Katayama. 2005. Subspace methods for system identification. Vol. 1. Springer."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-012-0245-y"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/IINTEC.2017.8325927"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISPCS.2016.7579509"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"George Loukas. 2015. Cyber-physical attacks: A growing invisible threat. Butterworth-Heinemann.  George Loukas. 2015. Cyber-physical attacks: A growing invisible threat. Butterworth-Heinemann.","DOI":"10.1016\/B978-0-12-801290-1.00007-2"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISPCS.2011.6070153"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISPCS.2012.6336612"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijepes.2021.107226"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSG.2016.2644618"},{"key":"e_1_3_2_1_21_1","volume-title":"Free-fall: Hacking tesla from wireless to can bus. 25","author":"Nie Sen","year":"2017","unstructured":"Sen Nie , Ling Liu , and Yuefeng Du . 2017 . Free-fall: Hacking tesla from wireless to can bus. 25 (2017), 1--16. Sen Nie, Ling Liu, and Yuefeng Du. 2017. Free-fall: Hacking tesla from wireless to can bus. 25 (2017), 1--16."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/WFCS.2006.1704117"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISPCS.2019.8886641"},{"key":"e_1_3_2_1_24_1","volume-title":"Retrieved","author":"Tamsyn Parker","year":"2021","unstructured":"Parker Tamsyn . 2021 . Cyber attack: Kiwibank customers still having access issues . Retrieved September 14, 2021 from https:\/\/www.nzherald.co.nz\/business\/cyber-attack-kiwibank-customers-still-having-access-issues\/ZSM7LVX6IJTZOWLG3KT5WYLQSY\/ Parker Tamsyn. 2021. Cyber attack: Kiwibank customers still having access issues. Retrieved September 14, 2021 from https:\/\/www.nzherald.co.nz\/business\/cyber-attack-kiwibank-customers-still-having-access-issues\/ZSM7LVX6IJTZOWLG3KT5WYLQSY\/"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSensT.2013.6727623"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(94)90230-5"},{"key":"e_1_3_2_1_27_1","volume-title":"On time desynchronization attack against IEEE 1588 protocol in power grid systems. In 2013 IEEE Energytech","author":"Yang Qingyu","unstructured":"Qingyu Yang , Dou An , and Wei Yu. 2013. On time desynchronization attack against IEEE 1588 protocol in power grid systems. In 2013 IEEE Energytech . IEEE , 1--5. Qingyu Yang, Dou An, and Wei Yu. 2013. On time desynchronization attack against IEEE 1588 protocol in power grid systems. In 2013 IEEE Energytech. IEEE, 1--5."}],"event":{"name":"MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design","location":"Virtual Event China","acronym":"MEMOCODE '21","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","IEEE CEDA"]},"container-title":["Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3487212.3487346","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3487212.3487346","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:18:47Z","timestamp":1750191527000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3487212.3487346"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11,20]]},"references-count":27,"alternative-id":["10.1145\/3487212.3487346","10.1145\/3487212"],"URL":"https:\/\/doi.org\/10.1145\/3487212.3487346","relation":{},"subject":[],"published":{"date-parts":[[2021,11,20]]},"assertion":[{"value":"2021-12-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}