{"id":"https://openalex.org/W7165803943","doi":"https://doi.org/10.1007/s10626-026-00444-x","title":"Current-State opacity based on state outputs: definition and verification","display_name":"Current-State opacity based on state outputs: definition and verification","publication_year":2026,"publication_date":"2026-06-25","ids":{"openalex":"https://openalex.org/W7165803943","doi":"https://doi.org/10.1007/s10626-026-00444-x"},"language":"en","primary_location":{"id":"doi:10.1007/s10626-026-00444-x","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10626-026-00444-x","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10626-026-00444-x.pdf","source":{"id":"https://openalex.org/S134484881","display_name":"Discrete Event Dynamic Systems","issn_l":"0924-6703","issn":["0924-6703","1573-7594"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Discrete Event Dynamic Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10626-026-00444-x.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5007890151","display_name":"Patr\u00edcia C. Mayer","orcid":"https://orcid.org/0000-0003-3100-0815"},"institutions":[{"id":"https://openalex.org/I4104125","display_name":"Universidade Federal de Santa Catarina","ror":"https://ror.org/041akq887","country_code":"BR","type":"education","lineage":["https://openalex.org/I4104125"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Patr\u00edcia C. Mayer","raw_affiliation_strings":["Automation and Systems Engineering Program, Federal University of Santa Catarina, Campus Trindade, Florian\u00f3polis, Santa Catarina, 88.040-900, Brazil"],"raw_orcid":"https://orcid.org/0000-0003-3100-0815","affiliations":[{"raw_affiliation_string":"Automation and Systems Engineering Program, Federal University of Santa Catarina, Campus Trindade, Florian\u00f3polis, Santa Catarina, 88.040-900, Brazil","institution_ids":["https://openalex.org/I4104125"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033819712","display_name":"Felipe G. Cabral","orcid":"https://orcid.org/0000-0002-1676-9805"},"institutions":[{"id":"https://openalex.org/I4104125","display_name":"Universidade Federal de Santa Catarina","ror":"https://ror.org/041akq887","country_code":"BR","type":"education","lineage":["https://openalex.org/I4104125"]}],"countries":["BR"],"is_corresponding":true,"raw_author_name":"Felipe G. Cabral","raw_affiliation_strings":["Automation and Systems Engineering Program, Federal University of Santa Catarina, Campus Trindade, Florian\u00f3polis, Santa Catarina, 88.040-900, Brazil"],"raw_orcid":"https://orcid.org/0000-0002-1676-9805","affiliations":[{"raw_affiliation_string":"Automation and Systems Engineering Program, Federal University of Santa Catarina, Campus Trindade, Florian\u00f3polis, Santa Catarina, 88.040-900, Brazil","institution_ids":["https://openalex.org/I4104125"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050728945","display_name":"P\u00fablio M. Lima","orcid":"https://orcid.org/0000-0001-8168-2469"},"institutions":[{"id":"https://openalex.org/I4104125","display_name":"Universidade Federal de Santa Catarina","ror":"https://ror.org/041akq887","country_code":"BR","type":"education","lineage":["https://openalex.org/I4104125"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Publio M. M. Lima","raw_affiliation_strings":["Automation and Systems Engineering Program, Federal University of Santa Catarina, Campus Trindade, Florian\u00f3polis, Santa Catarina, 88.040-900, Brazil"],"raw_orcid":"https://orcid.org/0000-0001-8168-2469","affiliations":[{"raw_affiliation_string":"Automation and Systems Engineering Program, Federal University of Santa Catarina, Campus Trindade, Florian\u00f3polis, Santa Catarina, 88.040-900, Brazil","institution_ids":["https://openalex.org/I4104125"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5001743340","display_name":"Marcos V. Moreira","orcid":"https://orcid.org/0000-0001-5661-2637"},"institutions":[{"id":"https://openalex.org/I122140584","display_name":"Universidade Federal do Rio de Janeiro","ror":"https://ror.org/03490as77","country_code":"BR","type":"education","lineage":["https://openalex.org/I122140584"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Marcos V. Moreira","raw_affiliation_strings":["COPPE - Electrical Engineering Program, Federal University of Rio de Janeiro, Cidade Universit\u00e1ria, Ilha do Fund\u00e3o, Rio de Janeiro, 21.945-970, Brazil"],"raw_orcid":"https://orcid.org/0000-0001-5661-2637","affiliations":[{"raw_affiliation_string":"COPPE - Electrical Engineering Program, Federal University of Rio de Janeiro, Cidade Universit\u00e1ria, Ilha do Fund\u00e3o, Rio de Janeiro, 21.945-970, Brazil","institution_ids":["https://openalex.org/I122140584"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5033819712"],"corresponding_institution_ids":["https://openalex.org/I4104125"],"apc_list":{"value":2990,"currency":"USD","value_usd":2990},"apc_paid":{"value":2990,"currency":"USD","value_usd":2990},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.75976047,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"36","issue":"1","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10917","display_name":"Smart Grid Security and Resilience","score":0.7038000226020813,"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"}},"topics":[{"id":"https://openalex.org/T10917","display_name":"Smart Grid Security and Resilience","score":0.7038000226020813,"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"}},{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.23800000548362732,"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/T10142","display_name":"Formal Methods in Verification","score":0.014499999582767487,"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/state","display_name":"State (computer science)","score":0.7914000153541565},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.644599974155426},{"id":"https://openalex.org/keywords/channel","display_name":"Channel (broadcasting)","score":0.6279000043869019},{"id":"https://openalex.org/keywords/communications-system","display_name":"Communications system","score":0.5182999968528748},{"id":"https://openalex.org/keywords/telecommunications-network","display_name":"Telecommunications network","score":0.4675999879837036},{"id":"https://openalex.org/keywords/state-vector","display_name":"State vector","score":0.4512999951839447},{"id":"https://openalex.org/keywords/connection","display_name":"Connection (principal bundle)","score":0.4503999948501587},{"id":"https://openalex.org/keywords/opacity","display_name":"Opacity","score":0.4375},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.43070000410079956}],"concepts":[{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.7914000153541565},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.644599974155426},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.6279000043869019},{"id":"https://openalex.org/C101765175","wikidata":"https://www.wikidata.org/wiki/Q577764","display_name":"Communications system","level":2,"score":0.5182999968528748},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5090000033378601},{"id":"https://openalex.org/C192126672","wikidata":"https://www.wikidata.org/wiki/Q1068715","display_name":"Telecommunications network","level":2,"score":0.4675999879837036},{"id":"https://openalex.org/C2777798563","wikidata":"https://www.wikidata.org/wiki/Q7603916","display_name":"State vector","level":2,"score":0.4512999951839447},{"id":"https://openalex.org/C13355873","wikidata":"https://www.wikidata.org/wiki/Q2920850","display_name":"Connection (principal bundle)","level":2,"score":0.4503999948501587},{"id":"https://openalex.org/C60056205","wikidata":"https://www.wikidata.org/wiki/Q691914","display_name":"Opacity","level":2,"score":0.4375},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.43070000410079956},{"id":"https://openalex.org/C148043351","wikidata":"https://www.wikidata.org/wiki/Q4456944","display_name":"Current (fluid)","level":2,"score":0.38609999418258667},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.3693000078201294},{"id":"https://openalex.org/C148063708","wikidata":"https://www.wikidata.org/wiki/Q5072511","display_name":"Channel state information","level":3,"score":0.3587999939918518},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3391000032424927},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.336899995803833},{"id":"https://openalex.org/C116672817","wikidata":"https://www.wikidata.org/wiki/Q1454986","display_name":"Physical system","level":2,"score":0.3294000029563904},{"id":"https://openalex.org/C2985963534","wikidata":"https://www.wikidata.org/wiki/Q7603704","display_name":"State information","level":3,"score":0.3183000087738037},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.313400000333786},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.3122999966144562},{"id":"https://openalex.org/C107645828","wikidata":"https://www.wikidata.org/wiki/Q12070446","display_name":"System model","level":2,"score":0.3019999861717224},{"id":"https://openalex.org/C157607044","wikidata":"https://www.wikidata.org/wiki/Q5165851","display_name":"Control channel","level":3,"score":0.29980000853538513},{"id":"https://openalex.org/C12269588","wikidata":"https://www.wikidata.org/wiki/Q132364","display_name":"Communications protocol","level":2,"score":0.2992999851703644},{"id":"https://openalex.org/C129537906","wikidata":"https://www.wikidata.org/wiki/Q7603913","display_name":"State variable","level":2,"score":0.29899999499320984},{"id":"https://openalex.org/C510870077","wikidata":"https://www.wikidata.org/wiki/Q7444868","display_name":"Secure communication","level":3,"score":0.28690001368522644},{"id":"https://openalex.org/C158156997","wikidata":"https://www.wikidata.org/wiki/Q1416645","display_name":"Models of communication","level":2,"score":0.2858000099658966},{"id":"https://openalex.org/C2780626145","wikidata":"https://www.wikidata.org/wiki/Q63178895","display_name":"Real-time communication","level":2,"score":0.2651999890804291},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.2615000009536743},{"id":"https://openalex.org/C180198813","wikidata":"https://www.wikidata.org/wiki/Q121182","display_name":"Information system","level":2,"score":0.2578999996185303},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.25119999051094055}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s10626-026-00444-x","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10626-026-00444-x","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10626-026-00444-x.pdf","source":{"id":"https://openalex.org/S134484881","display_name":"Discrete Event Dynamic Systems","issn_l":"0924-6703","issn":["0924-6703","1573-7594"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Discrete Event Dynamic Systems","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s10626-026-00444-x","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10626-026-00444-x","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10626-026-00444-x.pdf","source":{"id":"https://openalex.org/S134484881","display_name":"Discrete Event Dynamic Systems","issn_l":"0924-6703","issn":["0924-6703","1573-7594"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Discrete Event Dynamic Systems","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.4532545208930969,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320324147","display_name":"Universidade Federal de Santa Catarina","ror":"https://ror.org/041akq887"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7165803943.pdf","grobid_xml":"https://content.openalex.org/works/W7165803943.grobid-xml"},"referenced_works_count":28,"referenced_works":["https://openalex.org/W1505804150","https://openalex.org/W2003935928","https://openalex.org/W2040603575","https://openalex.org/W2052227055","https://openalex.org/W2099395647","https://openalex.org/W2162000948","https://openalex.org/W2416559203","https://openalex.org/W2509841691","https://openalex.org/W2768035641","https://openalex.org/W2796125030","https://openalex.org/W2804520243","https://openalex.org/W2883996237","https://openalex.org/W2884397601","https://openalex.org/W2889602037","https://openalex.org/W2963076019","https://openalex.org/W2972963796","https://openalex.org/W2991356567","https://openalex.org/W3160693357","https://openalex.org/W3162665719","https://openalex.org/W3190127097","https://openalex.org/W3211020496","https://openalex.org/W4221161625","https://openalex.org/W4310065356","https://openalex.org/W4313201544","https://openalex.org/W4322101905","https://openalex.org/W4387551304","https://openalex.org/W4387914546","https://openalex.org/W4400744682"],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"Cyber-physical":[1],"systems":[2],"(CPSs)":[3],"are":[4],"formed":[5,169],"of":[6,130,140,160,170,185,196,216,248,286,292,299,317,326,348],"physical":[7],"and":[8,18,33,50,53,87,94,107,137,189,333,346],"computational":[9],"components":[10,39],"that":[11,73,95,120,179],"interact":[12],"to":[13,21,42,66,78,84,92,103,202,211,235,243,264,342],"operate":[14],"a":[15,114,153,287,296,312,321],"process":[16],"safely":[17],"efficiently":[19],"according":[20],"the":[22,28,34,48,51,74,82,85,96,100,110,121,125,128,143,149,161,171,175,180,186,193,197,205,208,213,217,221,226,238,245,249,252,256,261,266,271,281,315,324,344],"desired":[23],"behavior.":[24],"To":[25],"do":[26],"so,":[27],"plant":[29,49,83],"is":[30,40,56,90,127,163,233,240,274,335,340],"continuously":[31],"monitored,":[32],"information":[35,106,122,273],"obtained":[36],"from":[37,81,148],"its":[38],"transmitted":[41,123,224,272],"computer-based":[43],"devices.":[44],"The":[45],"connection":[46],"between":[47,323],"monitoring":[52,86],"control":[54,88],"device":[55,89],"carried":[57],"out":[58],"using":[59],"communication":[60,75,101,206],"networks,":[61],"which":[62],"may":[63],"be":[64,146],"susceptible":[65],"cyber-attacks.":[67],"In":[68,251,319],"this":[69,230,279],"paper,":[70,280],"we":[71,118,294],"consider":[72],"channel":[76,102],"used":[77,341],"transmit":[79],"data":[80],"vulnerable":[91],"attacks,":[93],"attacker":[97,181,209,239,282],"eavesdrops":[98],"on":[99,204,270,305,330],"gather":[104],"sensitive":[105],"discover":[108,265],"if":[109],"system":[111,131,144,176,187,198,218,257,267,339],"has":[112,182],"reached":[113],"secret":[115,246,268],"state.":[116],"Since":[117],"assume":[119],"in":[124,225,229,278],"network":[126],"status":[129],"components,":[132],"such":[133],"as":[134,152],"sensors,":[135],"actuators,":[136],"memory":[138],"variables":[139],"local":[141],"controllers,":[142],"can":[145],"modeled,":[147],"attacker\u2019s":[150],"perspective,":[151],"finite":[154,288],"state":[155,159,195,215,222,284,289],"transducer,":[156],"where":[157],"each":[158],"model":[162,188],"associated":[164,173,259],"with":[165,174,260],"an":[166],"output":[167],"vector":[168],"signals":[172],"components.":[177],"Considering":[178],"full":[183],"knowledge":[184],"does":[190],"not":[191],"know":[192],"current":[194,214],"when":[199],"he/she":[200],"initiates":[201],"eavesdrop":[203],"channel,":[207],"tries":[210],"estimate":[212],"by":[219],"observing":[220],"outputs":[223,285],"network.":[227],"Therefore,":[228],"case,":[231],"it":[232],"necessary":[234],"verify":[236],"whether":[237],"never":[241],"able":[242],"detect":[244],"states":[247],"system.":[250],"Discrete-Event":[253],"System":[254],"literature,":[255],"property":[258],"intruder\u2019s":[262],"inability":[263],"based":[269,304,329],"called":[275,301],"opacity.":[276],"Since,":[277],"observes":[283],"transducer":[290],"instead":[291],"events,":[293],"introduce":[295],"new":[297],"notion":[298],"opacity":[300,328],"Current-State":[302],"Opacity":[303],"State":[306],"Outputs":[307],"(CSO-SO).":[308],"We":[309],"also":[310],"present":[311],"method":[313],"for":[314],"verification":[316,347],"CSO-SO.":[318,349],"addition,":[320],"comparison":[322],"definition":[325,345],"current-state":[327],"event":[331],"observations":[332],"CSO-SO":[334],"provided.":[336],"A":[337],"practical":[338],"illustrate":[343]},"counts_by_year":[],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2026-06-25T00:00:00"}