{"id":"https://openalex.org/W4403676854","doi":"https://doi.org/10.1109/case59546.2024.10711328","title":"Security-by-Design of Smart Water Supply Systems: a Switching Output Automaton-based Approach","display_name":"Security-by-Design of Smart Water Supply Systems: a Switching Output Automaton-based Approach","publication_year":2024,"publication_date":"2024-08-28","ids":{"openalex":"https://openalex.org/W4403676854","doi":"https://doi.org/10.1109/case59546.2024.10711328"},"language":"en","primary_location":{"id":"doi:10.1109/case59546.2024.10711328","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/case59546.2024.10711328","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE 20th International Conference on Automation Science and Engineering (CASE)","raw_type":"proceedings-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/A5053087693","display_name":"Tianyu Liu","orcid":"https://orcid.org/0000-0002-0180-9691"},"institutions":[{"id":"https://openalex.org/I172446870","display_name":"University of Cagliari","ror":"https://ror.org/003109y17","country_code":"IT","type":"education","lineage":["https://openalex.org/I172446870"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Tianyu Liu","raw_affiliation_strings":["University of Cagliari,Department of Electical and Electronic Engineering,Cagliari,Italy"],"affiliations":[{"raw_affiliation_string":"University of Cagliari,Department of Electical and Electronic Engineering,Cagliari,Italy","institution_ids":["https://openalex.org/I172446870"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005940530","display_name":"Carla Seatzu","orcid":"https://orcid.org/0000-0003-2014-352X"},"institutions":[{"id":"https://openalex.org/I172446870","display_name":"University of Cagliari","ror":"https://ror.org/003109y17","country_code":"IT","type":"education","lineage":["https://openalex.org/I172446870"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Carla Seatzu","raw_affiliation_strings":["University of Cagliari,Department of Electical and Electronic Engineering,Cagliari,Italy"],"affiliations":[{"raw_affiliation_string":"University of Cagliari,Department of Electical and Electronic Engineering,Cagliari,Italy","institution_ids":["https://openalex.org/I172446870"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077006626","display_name":"Federica Pascucci","orcid":"https://orcid.org/0000-0002-8226-0716"},"institutions":[{"id":"https://openalex.org/I119003972","display_name":"Roma Tre University","ror":"https://ror.org/05vf0dg29","country_code":"IT","type":"education","lineage":["https://openalex.org/I119003972"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Federica Pascucci","raw_affiliation_strings":["University Roma Tre,Department of Civil, Computer Science, and Aeronautical Technologies Engineering,Rome,Italy"],"affiliations":[{"raw_affiliation_string":"University Roma Tre,Department of Civil, Computer Science, and Aeronautical Technologies Engineering,Rome,Italy","institution_ids":["https://openalex.org/I119003972"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001463495","display_name":"Graziana Cavone","orcid":"https://orcid.org/0000-0001-7102-4542"},"institutions":[{"id":"https://openalex.org/I119003972","display_name":"Roma Tre University","ror":"https://ror.org/05vf0dg29","country_code":"IT","type":"education","lineage":["https://openalex.org/I119003972"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Graziana Cavone","raw_affiliation_strings":["University Roma Tre,Department of Civil, Computer Science, and Aeronautical Technologies Engineering,Rome,Italy"],"affiliations":[{"raw_affiliation_string":"University Roma Tre,Department of Civil, Computer Science, and Aeronautical Technologies Engineering,Rome,Italy","institution_ids":["https://openalex.org/I119003972"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5030895170","display_name":"Alessandro Giua","orcid":"https://orcid.org/0000-0002-3859-9472"},"institutions":[{"id":"https://openalex.org/I172446870","display_name":"University of Cagliari","ror":"https://ror.org/003109y17","country_code":"IT","type":"education","lineage":["https://openalex.org/I172446870"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Alessandro Giua","raw_affiliation_strings":["University of Cagliari,Department of Electical and Electronic Engineering,Cagliari,Italy"],"affiliations":[{"raw_affiliation_string":"University of Cagliari,Department of Electical and Electronic Engineering,Cagliari,Italy","institution_ids":["https://openalex.org/I172446870"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5053087693"],"corresponding_institution_ids":["https://openalex.org/I172446870"],"apc_list":null,"apc_paid":null,"fwci":0.2823,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.56551589,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"1532","last_page":"1539"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11220","display_name":"Water Systems and Optimization","score":0.9779000282287598,"subfield":{"id":"https://openalex.org/subfields/2205","display_name":"Civil and Structural Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11220","display_name":"Water Systems and Optimization","score":0.9779000282287598,"subfield":{"id":"https://openalex.org/subfields/2205","display_name":"Civil and Structural Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.9333000183105469,"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/automaton","display_name":"Automaton","score":0.7526973485946655},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6868393421173096},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.33436673879623413},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.265384316444397}],"concepts":[{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.7526973485946655},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6868393421173096},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.33436673879623413},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.265384316444397}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/case59546.2024.10711328","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/case59546.2024.10711328","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE 20th International Conference on Automation Science and Engineering (CASE)","raw_type":"proceedings-article"},{"id":"pmh:oai:iris.uniroma3.it:11590/490609","is_oa":false,"landing_page_url":"https://hdl.handle.net/11590/490609","pdf_url":null,"source":{"id":"https://openalex.org/S4377196120","display_name":"Iris (Roma Tre University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I119003972","host_organization_name":"Roma Tre University","host_organization_lineage":["https://openalex.org/I119003972"],"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/conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5199999809265137,"display_name":"Affordable and clean energy","id":"https://metadata.un.org/sdg/7"},{"score":0.4300000071525574,"display_name":"Clean water and sanitation","id":"https://metadata.un.org/sdg/6"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W1976202267","https://openalex.org/W2004398490","https://openalex.org/W2037457229","https://openalex.org/W2162000948","https://openalex.org/W2214761622","https://openalex.org/W2493256084","https://openalex.org/W2505803570","https://openalex.org/W2538443008","https://openalex.org/W2587918681","https://openalex.org/W2928971821","https://openalex.org/W3182823491","https://openalex.org/W4220734997","https://openalex.org/W4221161625","https://openalex.org/W4285146542","https://openalex.org/W4385452011","https://openalex.org/W4387914546","https://openalex.org/W6683814586","https://openalex.org/W7064991650"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"In":[0,155],"contemporary":[1],"society,":[2],"Smart":[3],"Water":[4],"Supply":[5],"Systems":[6,10],"(SWSS)":[7],"are":[8],"Cyber-Physical":[9],"whose":[11,191],"deployment":[12],"plays":[13],"a":[14,51,59,175,178,186],"pivotal":[15],"role":[16],"in":[17,104,120],"ensuring":[18],"the":[19,74,81,86,106,113,122,128,133,138,142,145,149,152,157,162,183,195,210],"provision":[20],"of":[21,27,76,127,137,144,151,188,212],"high-quality":[22],"water":[23,107,197],"services.":[24],"The":[25,116,170,201],"imperative":[26],"safeguarding":[28],"these":[29],"systems":[30],"against":[31,67,218],"cyber-physical":[32],"attacks":[33],"cannot":[34],"be":[35,165],"overstated,":[36],"as":[37,58],"their":[38,65,216],"security":[39],"and":[40,46,63,89,96,131,148,214],"reliability":[41],"directly":[42],"impact":[43],"public":[44],"health":[45],"safety.":[47],"This":[48],"study":[49],"introduces":[50],"proactive":[52],"security-by-design":[53,211],"approach":[54,118,206],"that":[55,80,204],"abstracts":[56],"SWSS":[57,130,139,163,180,213],"Discrete":[60],"Event":[61],"System":[62],"verifies":[64],"vulnerability":[66],"power":[68,93],"consumption":[69,94],"tracking-malware":[70],"attack":[71,192],"by":[72],"applying":[73],"principle":[75],"opacity.":[77],"We":[78],"assume":[79],"malicious":[82],"intruder":[83],"can":[84,90,164,193,207],"understand":[85],"system":[87,114,159],"architecture":[88],"access":[91],"its":[92,168],"information":[95],"aims":[97],"at":[98,110],"inferring":[99],"one":[100],"or":[101],"more":[102],"states":[103,190],"which":[105,182],"provisioning":[108,198],"is":[109,172,185],"risk,":[111],"i.e,":[112],"secret.":[115],"proposed":[117],"consists":[119],"defining":[121],"Switching":[123],"Output":[124],"Automaton":[125],"(SOA)":[126],"designed":[129,158],"verify":[132],"current":[134],"state":[135],"opacity":[136],"based":[140],"on":[141],"definition":[143],"evolution":[146],"automaton":[147],"observer":[150],"defined":[153],"SOA.":[154],"case":[156],"results":[160,202],"non-opaque,":[161],"redesigned":[166],"prior":[167],"implementation.":[169],"method":[171],"applied":[173],"to":[174,199],"testbed":[176],"emulating":[177],"scaled-down":[179],"for":[181],"secret":[184],"set":[187],"critical":[189],"compromise":[194],"proper":[196],"customers.":[200],"demonstrate":[203],"our":[205],"effectively":[208],"support":[209],"enhance":[215],"resilience":[217],"sophisticated":[219],"attacks.":[220]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2025-12-21T01:58:51.020947","created_date":"2025-10-10T00:00:00"}