{"id":"https://openalex.org/W4200422542","doi":"https://doi.org/10.1145/3487212.3487346","title":"Formal modelling of attack scenarios and mitigation strategies in IEEE 1588","display_name":"Formal modelling of attack scenarios and mitigation strategies in IEEE 1588","publication_year":2021,"publication_date":"2021-11-20","ids":{"openalex":"https://openalex.org/W4200422542","doi":"https://doi.org/10.1145/3487212.3487346"},"language":"en","primary_location":{"id":"doi:10.1145/3487212.3487346","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3487212.3487346","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5012861498","display_name":"Kelvin Anto","orcid":"https://orcid.org/0000-0002-9566-2941"},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Kelvin Anto","raw_affiliation_strings":["The University of Auckland, Auckland, New Zealand"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The University of Auckland, Auckland, New Zealand","institution_ids":["https://openalex.org/I154130895"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076621370","display_name":"Partha S. Roop","orcid":"https://orcid.org/0000-0001-9654-5678"},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Partha S. Roop","raw_affiliation_strings":["The University of Auckland, Auckland, New Zealand"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The University of Auckland, Auckland, New Zealand","institution_ids":["https://openalex.org/I154130895"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5039725515","display_name":"Akshya Swain","orcid":"https://orcid.org/0000-0002-5991-9033"},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Akshya K. Swain","raw_affiliation_strings":["The University of Auckland, Auckland, New Zealand"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The University of Auckland, Auckland, New Zealand","institution_ids":["https://openalex.org/I154130895"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I154130895"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"134","last_page":"141"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12216","display_name":"Network Time Synchronization Technologies","score":0.996999979019165,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10917","display_name":"Smart Grid Security and Resilience","score":0.9955999851226807,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7992809414863586},{"id":"https://openalex.org/keywords/synchronization","display_name":"Synchronization (alternating current)","score":0.5781862735748291},{"id":"https://openalex.org/keywords/resilience","display_name":"Resilience (materials science)","score":0.538837730884552},{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.5197533965110779},{"id":"https://openalex.org/keywords/man-in-the-middle-attack","display_name":"Man-in-the-middle attack","score":0.47359636425971985},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.461558073759079},{"id":"https://openalex.org/keywords/constant","display_name":"Constant (computer programming)","score":0.44995763897895813},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.42523667216300964},{"id":"https://openalex.org/keywords/identification","display_name":"Identification (biology)","score":0.41987118124961853},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.39856600761413574},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3832683861255646},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.3676750659942627},{"id":"https://openalex.org/keywords/authentication","display_name":"Authentication (law)","score":0.1264026165008545},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.08762067556381226}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7992809414863586},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.5781862735748291},{"id":"https://openalex.org/C2779585090","wikidata":"https://www.wikidata.org/wiki/Q3457762","display_name":"Resilience (materials science)","level":2,"score":0.538837730884552},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.5197533965110779},{"id":"https://openalex.org/C196491621","wikidata":"https://www.wikidata.org/wiki/Q554830","display_name":"Man-in-the-middle attack","level":3,"score":0.47359636425971985},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.461558073759079},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.44995763897895813},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.42523667216300964},{"id":"https://openalex.org/C116834253","wikidata":"https://www.wikidata.org/wiki/Q2039217","display_name":"Identification (biology)","level":2,"score":0.41987118124961853},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.39856600761413574},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3832683861255646},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3676750659942627},{"id":"https://openalex.org/C148417208","wikidata":"https://www.wikidata.org/wiki/Q4825882","display_name":"Authentication (law)","level":2,"score":0.1264026165008545},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.08762067556381226},{"id":"https://openalex.org/C59822182","wikidata":"https://www.wikidata.org/wiki/Q441","display_name":"Botany","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3487212.3487346","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3487212.3487346","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/13","display_name":"Climate action","score":0.8700000047683716}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W120660877","https://openalex.org/W141404015","https://openalex.org/W791907316","https://openalex.org/W1984210775","https://openalex.org/W1984828789","https://openalex.org/W1997095165","https://openalex.org/W2073903244","https://openalex.org/W2085197596","https://openalex.org/W2130212796","https://openalex.org/W2162248886","https://openalex.org/W2163878530","https://openalex.org/W2187041056","https://openalex.org/W2277068073","https://openalex.org/W2337871897","https://openalex.org/W2527602957","https://openalex.org/W2564348914","https://openalex.org/W2752040793","https://openalex.org/W2795283563","https://openalex.org/W2982499446","https://openalex.org/W3028512231","https://openalex.org/W3168380357"],"related_works":["https://openalex.org/W3155578322","https://openalex.org/W177107229","https://openalex.org/W2486658553","https://openalex.org/W4221155389","https://openalex.org/W2112896732","https://openalex.org/W2022068600","https://openalex.org/W4386199491","https://openalex.org/W2347355516","https://openalex.org/W2320204756","https://openalex.org/W2980998709"],"abstract_inverted_index":{"IEEE":[0,98],"1588":[1],"is":[2,8,19,125,151],"a":[3,29,48,51,122,128],"time":[4,94,162,176],"synchronization":[5],"protocol":[6,18,174],"that":[7],"extensively":[9],"used":[10,152],"by":[11],"many":[12],"Cyber-Physical":[13],"Systems":[14],"(CPSs).":[15],"However,":[16,67],"this":[17],"prone":[20],"to":[21,42,153,169,175],"various":[22,134],"types":[23],"of":[24,32,118,148,161,173],"attacks.":[25,120,164],"We":[26,84,165],"focus":[27],"on":[28],"specific":[30],"type":[31],"Man-in-the-Middle":[33],"(MITM)":[34],"attack,":[35],"where":[36],"the":[37,43,68,78,86,101,103,106,116,159,171,180],"attacker":[38,124],"introduces":[39],"random":[40],"delays":[41],"messages":[44],"being":[45],"exchanged":[46],"between":[47],"master":[49],"and":[50,59,77,92,105,141],"slave.":[52],"Such":[53],"attacks":[54,76,96,135,178],"have":[55,63],"been":[56,65],"modelled":[57,110,126],"previously":[58],"some":[60],"mitigation":[61,80,182],"strategies":[62,81],"also":[64],"developed.":[66],"proposed":[69,181],"methods":[70,147],"work":[71],"only":[72],"under":[73],"constant":[74,137],"delay":[75,95,140,163,177],"developed":[79],"are":[82,109],"ad-hoc.":[83],"propose":[85],"first":[87],"formal":[88],"framework":[89],"for":[90,157],"modelling":[91],"mitigating":[93,158],"in":[97],"1588.":[99],"Initially,":[100],"master,":[102],"slave":[104],"communication":[107],"medium":[108],"as":[111,127],"Timed":[112],"Automata":[113],"(TA)":[114],"assuming":[115],"absence":[117],"any":[119],"Subsequently,":[121],"generic":[123],"TA,":[129],"which":[130],"can":[131],"formally":[132],"represent":[133],"including":[136],"delay,":[138],"linear":[139],"exponential":[142],"delay.":[143],"Finally,":[144],"system":[145],"identification":[146],"control":[149],"theory":[150],"design":[154],"proportional":[155],"controllers":[156],"effects":[160],"use":[166],"model":[167],"checking":[168],"ensure":[170],"resilience":[172],"using":[179],"strategy.":[183]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}