{"id":"https://openalex.org/W4283796786","doi":"https://doi.org/10.1145/3546579","title":"Industrial Control Systems Security via Runtime Enforcement","display_name":"Industrial Control Systems Security via Runtime Enforcement","publication_year":2022,"publication_date":"2022-07-04","ids":{"openalex":"https://openalex.org/W4283796786","doi":"https://doi.org/10.1145/3546579"},"language":"en","primary_location":{"id":"doi:10.1145/3546579","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3546579","pdf_url":null,"source":{"id":"https://openalex.org/S4210174050","display_name":"ACM Transactions on Privacy and Security","issn_l":"2471-2566","issn":["2471-2566","2471-2574"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Privacy and Security","raw_type":"journal-article"},"type":"article","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/A5090347665","display_name":"Ruggero Lanotte","orcid":"https://orcid.org/0000-0002-3335-234X"},"institutions":[{"id":"https://openalex.org/I115752224","display_name":"University of Insubria","ror":"https://ror.org/00s409261","country_code":"IT","type":"education","lineage":["https://openalex.org/I115752224"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Ruggero Lanotte","raw_affiliation_strings":["Universit\u00e0 degli Studi dell\u2019Insubria, Italy"],"raw_orcid":"https://orcid.org/0000-0002-3335-234X","affiliations":[{"raw_affiliation_string":"Universit\u00e0 degli Studi dell\u2019Insubria, Italy","institution_ids":["https://openalex.org/I115752224"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051857172","display_name":"Massimo Merro","orcid":"https://orcid.org/0000-0002-1712-7492"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Massimo Merro","raw_affiliation_strings":["Universit\u00e0 degli Studi di Verona, Verona, Italy"],"raw_orcid":"https://orcid.org/0000-0002-1712-7492","affiliations":[{"raw_affiliation_string":"Universit\u00e0 degli Studi di Verona, Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5028603974","display_name":"Andrei Munteanu","orcid":"https://orcid.org/0000-0001-5453-1120"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Andrei Munteanu","raw_affiliation_strings":["Universit\u00e0 degli Studi di Verona, Verona, Italy"],"raw_orcid":"https://orcid.org/0000-0001-5453-1120","affiliations":[{"raw_affiliation_string":"Universit\u00e0 degli Studi di Verona, Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.5746,"has_fulltext":false,"cited_by_count":15,"citation_normalized_percentile":{"value":0.8544853,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":99},"biblio":{"volume":"26","issue":"1","first_page":"1","last_page":"41"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11424","display_name":"Security and Verification in Computing","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9983999729156494,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9966999888420105,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7579960823059082},{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.588875949382782},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5566316246986389},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.5379444360733032},{"id":"https://openalex.org/keywords/enforcement","display_name":"Enforcement","score":0.5226637721061707},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5080904960632324},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.4196605086326599},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.09891122579574585}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7579960823059082},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.588875949382782},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5566316246986389},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.5379444360733032},{"id":"https://openalex.org/C2779777834","wikidata":"https://www.wikidata.org/wiki/Q4202277","display_name":"Enforcement","level":2,"score":0.5226637721061707},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5080904960632324},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.4196605086326599},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.09891122579574585},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"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":2,"locations":[{"id":"doi:10.1145/3546579","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3546579","pdf_url":null,"source":{"id":"https://openalex.org/S4210174050","display_name":"ACM Transactions on Privacy and Security","issn_l":"2471-2566","issn":["2471-2566","2471-2574"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Privacy and Security","raw_type":"journal-article"},{"id":"pmh:oai:irinsubria.uninsubria.it:11383/2146295","is_oa":false,"landing_page_url":"https://hdl.handle.net/11383/2146295","pdf_url":null,"source":{"id":"https://openalex.org/S4377196351","display_name":"IrInSubria (University of Insubria)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I115752224","host_organization_name":"University of Insubria","host_organization_lineage":["https://openalex.org/I115752224"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.4399999976158142,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":52,"referenced_works":["https://openalex.org/W152867607","https://openalex.org/W164289057","https://openalex.org/W1968553685","https://openalex.org/W1979349468","https://openalex.org/W1994676271","https://openalex.org/W1995790716","https://openalex.org/W2001026449","https://openalex.org/W2028720147","https://openalex.org/W2036910349","https://openalex.org/W2041755664","https://openalex.org/W2056451850","https://openalex.org/W2068341689","https://openalex.org/W2077290416","https://openalex.org/W2081938726","https://openalex.org/W2085379628","https://openalex.org/W2086311474","https://openalex.org/W2122630589","https://openalex.org/W2143842190","https://openalex.org/W2149713648","https://openalex.org/W2152106854","https://openalex.org/W2160032004","https://openalex.org/W2172083724","https://openalex.org/W2342445930","https://openalex.org/W2407991977","https://openalex.org/W2497816991","https://openalex.org/W2505158018","https://openalex.org/W2522035104","https://openalex.org/W2541515294","https://openalex.org/W2560421581","https://openalex.org/W2594635183","https://openalex.org/W2757214569","https://openalex.org/W2768947629","https://openalex.org/W2785700716","https://openalex.org/W2798513548","https://openalex.org/W2803355698","https://openalex.org/W2887757675","https://openalex.org/W2896437062","https://openalex.org/W2912003593","https://openalex.org/W2963530628","https://openalex.org/W2979010465","https://openalex.org/W2995364870","https://openalex.org/W3032398683","https://openalex.org/W3047659890","https://openalex.org/W3127398300","https://openalex.org/W3161476343","https://openalex.org/W3167774394","https://openalex.org/W3169320146","https://openalex.org/W3197721074","https://openalex.org/W4205126710","https://openalex.org/W4229542307","https://openalex.org/W4231208998","https://openalex.org/W6609701120"],"related_works":["https://openalex.org/W2117798332","https://openalex.org/W2364921833","https://openalex.org/W2385146268","https://openalex.org/W2380023786","https://openalex.org/W2546696010","https://openalex.org/W1952402404","https://openalex.org/W1992741870","https://openalex.org/W2027487876","https://openalex.org/W4382981409","https://openalex.org/W4379386921"],"abstract_inverted_index":{"With":[0],"the":[1,47,142,146,159,184,207,229,240,249],"advent":[2],"of":[3,17,73,99,127,148,173,214,224,242],"Industry":[4],"4.0":[5],",":[6,28,37,136,206],"industrial":[7,51,243],"facilities":[8],"and":[9,20,31,89,111,130,156,169,176,204,212],"critical":[10],"infrastructures":[11],"are":[12,251],"transforming":[13],"into":[14],"an":[15,96,124],"ecosystem":[16],"heterogeneous":[18],"physical":[19,48],"cyber":[21],"components,":[22],"such":[23,201],"as":[24,202],"programmable":[25],"logic":[26],"controllers":[27,107,175,250],"increasingly":[29],"interconnected":[30],"therefore":[32],"exposed":[33],"to":[34,67,105,191],"cyber-physical":[35],"attacks":[36],"i.e.,":[38],"security":[39],"breaches":[40],"in":[41,71,109,180,194,247],"cyberspace":[42],"that":[43,80,140],"may":[44,81],"adversely":[45],"affect":[46],"processes":[49],"underlying":[50],"control":[52],"systems":[53],".":[54,116,162],"In":[55],"this":[56],"article,":[57],"we":[58,227],"propose":[59],"a":[60,119,131,138,195,234],"formal":[61],"approach":[62,93],"based":[63],"on":[64,95,233],"runtime":[65],"enforcement":[66,209,231],"ensure":[68],"specification":[69],"compliance":[70],"networks":[72,223],"controllers,":[74,216],"possibly":[75],"compromised":[76],"by":[77,167,177],"colluding":[78],"malware":[79,255],"locally":[82],"tamper":[83],"with":[84,153,158,218,222,253,256],"actuator":[85],"commands,":[86],"sensor":[87],"readings,":[88],"inter-controller":[90],"communications.":[91],"Our":[92,163],"relies":[94],"ad-hoc":[97],"sub-class":[98],"Ligatti":[100],"et":[101],"al.\u2019s":[102],"edit":[103],"automata":[104],"enforce":[106],"represented":[108],"Hennessy":[110],"Regan\u2019s":[112],"Timed":[113],"Process":[114],"Language":[115],"We":[117],"define":[118],"synthesis":[120],"algorithm":[121],"that,":[122],"given":[123],"alphabet":[125,154],"\ud835\udcab":[126],"observable":[128],"actions":[129,172,179],"timed":[132],"correctness":[133],"property":[134,143,160],"e":[135,144,161],"returns":[137],"monitor":[139],"enforces":[141],"during":[145],"execution":[147],"any":[149],"(potentially":[150],"corrupted)":[151],"controller":[152,185],"\ud835\udcab,":[155],"complying":[157],"monitors":[164],"do":[165,192],"mitigation":[166],"correcting":[168],"suppressing":[170],"incorrect":[171],"corrupted":[174],"generating":[178],"full":[181],"autonomy":[182],"when":[183,220],"under":[186],"scrutiny":[187],"is":[188],"not":[189],"able":[190],"so":[193],"correct":[196],"manner.":[197],"Besides":[198],"classical":[199],"requirements,":[200],"transparency":[203],"soundness":[205],"proposed":[208,230],"enjoys":[210],"deadlock-":[211],"diverge-freedom":[213],"monitored":[215],"together":[217],"scalability":[219],"dealing":[221],"controllers.":[225],"Finally,":[226],"test":[228],"mechanism":[232],"non-trivial":[235],"case":[236],"study,":[237],"taken":[238],"from":[239],"context":[241],"water":[244],"treatment":[245],"systems,":[246],"which":[248],"injected":[252],"different":[254,257],"malicious":[258],"goals.":[259]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":5}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}