{"id":"https://openalex.org/W4402830044","doi":"https://doi.org/10.1109/tase.2024.3416821","title":"Security and Diagnosability of Finite State Machines Under Cyber-Attacks","display_name":"Security and Diagnosability of Finite State Machines Under Cyber-Attacks","publication_year":2024,"publication_date":"2024-09-25","ids":{"openalex":"https://openalex.org/W4402830044","doi":"https://doi.org/10.1109/tase.2024.3416821"},"language":"en","primary_location":{"id":"doi:10.1109/tase.2024.3416821","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tase.2024.3416821","pdf_url":null,"source":{"id":"https://openalex.org/S34881539","display_name":"IEEE Transactions on Automation Science and Engineering","issn_l":"1545-5955","issn":["1545-5955","1558-3783"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automation Science and Engineering","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/A5008665858","display_name":"Naeimeh Fakhr Shamloo","orcid":null},"institutions":[{"id":"https://openalex.org/I26415053","display_name":"University of L'Aquila","ror":"https://ror.org/01j9p1r26","country_code":"IT","type":"education","lineage":["https://openalex.org/I26415053"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Naeimeh Fakhr Shamloo","raw_affiliation_strings":["Department of Information Engineering, Computer Science and Mathematics (DISIM), Center of Excellence DEWS, University of L\u2019Aquila, L’Aquila, Italy","Department of Information Engineering, Computer Science and Mathematics (DISIM), Center of Excellence DEWS, University of L’Aquila, L’Aquila, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Information Engineering, Computer Science and Mathematics (DISIM), Center of Excellence DEWS, University of L\u2019Aquila, L’Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]},{"raw_affiliation_string":"Department of Information Engineering, Computer Science and Mathematics (DISIM), Center of Excellence DEWS, University of L’Aquila, L’Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048093480","display_name":"Elena De Santis","orcid":"https://orcid.org/0000-0001-9498-3148"},"institutions":[{"id":"https://openalex.org/I26415053","display_name":"University of L'Aquila","ror":"https://ror.org/01j9p1r26","country_code":"IT","type":"education","lineage":["https://openalex.org/I26415053"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Elena De Santis","raw_affiliation_strings":["Department of Information Engineering, Computer Science and Mathematics (DISIM), Center of Excellence DEWS, University of L\u2019Aquila, L’Aquila, Italy","Department of Information Engineering, Computer Science and Mathematics (DISIM), Center of Excellence DEWS, University of L’Aquila, L’Aquila, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Information Engineering, Computer Science and Mathematics (DISIM), Center of Excellence DEWS, University of L\u2019Aquila, L’Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]},{"raw_affiliation_string":"Department of Information Engineering, Computer Science and Mathematics (DISIM), Center of Excellence DEWS, University of L’Aquila, L’Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5061994256","display_name":"Maria Domenica Di Benedetto","orcid":"https://orcid.org/0000-0001-5703-7822"},"institutions":[{"id":"https://openalex.org/I26415053","display_name":"University of L'Aquila","ror":"https://ror.org/01j9p1r26","country_code":"IT","type":"education","lineage":["https://openalex.org/I26415053"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Maria Domenica Di Benedetto","raw_affiliation_strings":["Center of Excellence DEWS, University of L\u2019Aquila, L’Aquila, Italy","Center of Excellence DEWS, University of L’Aquila, L’Aquila, Italy"],"affiliations":[{"raw_affiliation_string":"Center of Excellence DEWS, University of L\u2019Aquila, L’Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]},{"raw_affiliation_string":"Center of Excellence DEWS, University of L’Aquila, L’Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5008665858"],"corresponding_institution_ids":["https://openalex.org/I26415053"],"apc_list":null,"apc_paid":null,"fwci":2.4168,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.9001484,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"22","issue":null,"first_page":"5108","last_page":"5116"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9735999703407288,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9735999703407288,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T10951","display_name":"Cryptographic Implementations and Security","score":0.9236000180244446,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5635698437690735},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.537428081035614},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5125133991241455},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.4729951322078705},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.3225976824760437},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.14741584658622742}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5635698437690735},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.537428081035614},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5125133991241455},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.4729951322078705},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.3225976824760437},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.14741584658622742}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tase.2024.3416821","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tase.2024.3416821","pdf_url":null,"source":{"id":"https://openalex.org/S34881539","display_name":"IEEE Transactions on Automation Science and Engineering","issn_l":"1545-5955","issn":["1545-5955","1558-3783"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automation Science and Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Climate action","score":0.4300000071525574,"id":"https://metadata.un.org/sdg/13"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W1485813796","https://openalex.org/W1966741850","https://openalex.org/W2478999276","https://openalex.org/W2496504753","https://openalex.org/W2504058988","https://openalex.org/W2509841691","https://openalex.org/W2525022545","https://openalex.org/W2585833112","https://openalex.org/W2755285785","https://openalex.org/W2883996237","https://openalex.org/W2884397601","https://openalex.org/W2910314742","https://openalex.org/W2915345851","https://openalex.org/W2921750014","https://openalex.org/W2966995099","https://openalex.org/W2991356567","https://openalex.org/W3011364142","https://openalex.org/W3026161804","https://openalex.org/W3031028459","https://openalex.org/W3095124930","https://openalex.org/W3114640703","https://openalex.org/W3126827950","https://openalex.org/W3133725719","https://openalex.org/W3160693357","https://openalex.org/W3186600195","https://openalex.org/W3195425131","https://openalex.org/W4226053079","https://openalex.org/W4226250944","https://openalex.org/W4285215458","https://openalex.org/W4287458760","https://openalex.org/W4288774354","https://openalex.org/W4312987423","https://openalex.org/W4315488786","https://openalex.org/W4387646177"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W2382290278","https://openalex.org/W4395014643"],"abstract_inverted_index":{"In":[0,54,250,288],"many":[1],"applications,":[2],"security":[3,64,110,260],"is":[4,40,120,131,142,175,331,337,349],"a":[5,59,68,176,206,255,263,286,302,306,310,318],"serious":[6],"issue":[7],"due":[8],"to":[9,33,42,62,145,170,179,199,299,305,342],"the":[10,26,31,50,85,88,96,102,118,134,157,166,181,201,221,235,239,259,277,282,296,323,335,343],"high":[11],"risk":[12],"of":[13,67,77,87,98,109,117,124,137,160,168,205,220,224,258,262,269,281,312,322,347],"cyber-attacks.":[14],"An":[15,340],"adversary":[16],"can":[17,93,227,272],"cause":[18],"severe":[19],"damage":[20],"by":[21,81,128,163,209,247],"providing":[22],"wrong":[23],"information":[24,233],"about":[25],"system":[27,51,207,264,283,336],"and":[28,48,65,84,90,111,133,156,279],"consequently":[29],"leading":[30],"controller":[32],"perform":[34],"incorrectly.":[35],"Detecting":[36],"any":[37],"malicious":[38,171],"activity":[39],"necessary":[41],"cover":[43],"up":[44],"its":[45],"negative":[46],"effects":[47,97],"make":[49],"operate":[52],"reliably.":[53],"this":[55,215,251,266,330],"paper,":[56,252,324],"we":[57,217,253,325],"propose":[58],"new":[60],"approach":[61],"analyze":[63],"diagnosability":[66,123,348],"Finite-state":[69],"machine":[70],"(FSM)":[71],"under":[72,114,140,265,327,338],"multiple":[73,129,185],"attacks.":[74,172],"Different":[75],"kinds":[76],"attacks":[78,100,119,130,186],"are":[79,150],"modeled":[80,208,246],"an":[82,125,248],"FSM":[83,126],"composition":[86],"nominal":[89],"attack":[91,141,182,202],"model":[92],"express":[94],"all":[95],"possible":[99,332],"on":[101,189],"given":[103],"system.":[104],"We":[105],"define":[106],"different":[107,190],"concepts":[108],"give":[112],"conditions":[113,329],"which":[115,226,271,328],"detectability":[116,203],"possible.":[121],"Moreover,":[122],"affected":[127],"addressed,":[132],"special":[135],"case":[136],"critical":[138],"observability":[139],"characterized.":[143],"Note":[144],"Practitioners\u2014Nowadays,":[146],"cyber-physical":[147],"systems":[148],"(CPSs)":[149],"being":[151],"widely":[152],"used":[153],"in":[154,234,292],"industry":[155],"extensive":[158],"use":[159],"communication":[161,193,236],"networks":[162],"CPSs":[164],"raises":[165],"concern":[167],"vulnerability":[169],"Therefore,":[173],"it":[174],"major":[177],"challenge":[178],"detect":[180,300],"specifically":[183],"when":[184],"might":[187],"launch":[188],"sensors":[191],"or":[192,230,314],"channels.":[194],"These":[195],"facts":[196],"motivate":[197],"us":[198],"investigate":[200,326],"properties":[204],"Finite":[210],"State":[211],"Machines":[212],"(FSMs).":[213],"To":[214],"end,":[216],"consider":[218],"one":[219],"well-known":[222],"types":[223],"cyber-attacks":[225],"inject,":[228],"replace":[229],"remove":[231],"output":[232],"network,":[237],"called":[238],"man-in-the-middle":[240],"attack.":[241,339],"This":[242],"may":[243],"also":[244],"be":[245],"FSM.":[249],"provide":[254,273],"good":[256],"understanding":[257],"level":[261],"powerful":[267],"kind":[268],"attack,":[270],"better":[274],"insight":[275],"into":[276],"weaknesses":[278],"strengths":[280],"before":[284],"designing":[285],"supervisor.":[287],"some":[289],"applications":[290],"e.g.":[291],"air":[293],"traffic":[294],"control,":[295],"designer":[297],"needs":[298],"if":[301,334],"state":[303],"belongs":[304],"\u201ccritical":[307],"set\u201d,":[308],"i.e.":[309],"set":[311],"dangerous":[313],"unsafe":[315],"states.":[316],"As":[317],"second":[319],"important":[320],"contribution":[321],"even":[333],"extension":[341],"more":[344],"general":[345],"property":[346],"illustrated.":[350]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":1}],"updated_date":"2026-04-02T13:48:15.688549","created_date":"2025-10-10T00:00:00"}