{"id":"https://openalex.org/W4315472241","doi":"https://doi.org/10.1109/cdc51059.2022.9993023","title":"Verification of Strong K-Step Opacity for Discrete-Event Systems","display_name":"Verification of Strong K-Step Opacity for Discrete-Event Systems","publication_year":2022,"publication_date":"2022-12-06","ids":{"openalex":"https://openalex.org/W4315472241","doi":"https://doi.org/10.1109/cdc51059.2022.9993023"},"language":"en","primary_location":{"id":"doi:10.1109/cdc51059.2022.9993023","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc51059.2022.9993023","pdf_url":null,"source":{"id":"https://openalex.org/S4363607710","display_name":"2022 IEEE 61st Conference on Decision and Control (CDC)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 IEEE 61st Conference on Decision and Control (CDC)","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/A5081098250","display_name":"Xiaoguang Han","orcid":"https://orcid.org/0000-0003-0810-259X"},"institutions":[{"id":"https://openalex.org/I132369690","display_name":"Tianjin University of Science and Technology","ror":"https://ror.org/018rbtf37","country_code":"CN","type":"education","lineage":["https://openalex.org/I132369690"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaoguang Han","raw_affiliation_strings":["Tianjin University of Science and Technology,College of Electronic Information and Automation,Tianjin,China,300222"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tianjin University of Science and Technology,College of Electronic Information and Automation,Tianjin,China,300222","institution_ids":["https://openalex.org/I132369690"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002524489","display_name":"Kuize Zhang","orcid":"https://orcid.org/0000-0001-9547-103X"},"institutions":[{"id":"https://openalex.org/I28290843","display_name":"University of Surrey","ror":"https://ror.org/00ks66431","country_code":"GB","type":"education","lineage":["https://openalex.org/I28290843"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Kuize Zhang","raw_affiliation_strings":["University of Surrey,Department of Computer Science,Guildford,UK,GU2 7XH"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Surrey,Department of Computer Science,Guildford,UK,GU2 7XH","institution_ids":["https://openalex.org/I28290843"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5045305170","display_name":"Zhiwu Li","orcid":"https://orcid.org/0000-0003-1547-5503"},"institutions":[{"id":"https://openalex.org/I111950717","display_name":"Macau University of Science and Technology","ror":"https://ror.org/03jqs2n27","country_code":"MO","type":"education","lineage":["https://openalex.org/I111950717","https://openalex.org/I4391767947"]},{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN","MO"],"is_corresponding":false,"raw_author_name":"Zhiwu Li","raw_affiliation_strings":["Macau University of Science and Technology,Institute of Systems Engineering,Taipa,China,999078","School of Electro-Mechanical Engineering, Xidian University, Xi'an, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Macau University of Science and Technology,Institute of Systems Engineering,Taipa,China,999078","institution_ids":["https://openalex.org/I111950717"]},{"raw_affiliation_string":"School of Electro-Mechanical Engineering, Xidian University, Xi'an, China","institution_ids":["https://openalex.org/I149594827"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.5578,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.85061224,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"4250","last_page":"4255"},"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.9995999932289124,"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.9995999932289124,"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.9991000294685364,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9984999895095825,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.8517985343933105},{"id":"https://openalex.org/keywords/opacity","display_name":"Opacity","score":0.6988171935081482},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.6613771915435791},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.6483334898948669},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6098756790161133},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.589767575263977},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.5653294324874878},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.5250530242919922},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5197427272796631},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.48112502694129944},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.47229865193367004},{"id":"https://openalex.org/keywords/value","display_name":"Value (mathematics)","score":0.45929402112960815},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.4302735924720764},{"id":"https://openalex.org/keywords/observable","display_name":"Observable","score":0.4116290807723999},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.36691713333129883},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3229372799396515}],"concepts":[{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.8517985343933105},{"id":"https://openalex.org/C60056205","wikidata":"https://www.wikidata.org/wiki/Q691914","display_name":"Opacity","level":2,"score":0.6988171935081482},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.6613771915435791},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6483334898948669},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6098756790161133},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.589767575263977},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.5653294324874878},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.5250530242919922},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5197427272796631},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.48112502694129944},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.47229865193367004},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.45929402112960815},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.4302735924720764},{"id":"https://openalex.org/C32848918","wikidata":"https://www.wikidata.org/wiki/Q845789","display_name":"Observable","level":2,"score":0.4116290807723999},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.36691713333129883},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3229372799396515},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"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/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cdc51059.2022.9993023","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc51059.2022.9993023","pdf_url":null,"source":{"id":"https://openalex.org/S4363607710","display_name":"2022 IEEE 61st Conference on Decision and Control (CDC)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 IEEE 61st Conference on Decision and Control (CDC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":46,"referenced_works":["https://openalex.org/W1562284768","https://openalex.org/W1976202267","https://openalex.org/W1977805032","https://openalex.org/W1985508025","https://openalex.org/W2004398490","https://openalex.org/W2031373068","https://openalex.org/W2037457229","https://openalex.org/W2052227055","https://openalex.org/W2061598829","https://openalex.org/W2064886960","https://openalex.org/W2073108636","https://openalex.org/W2142367687","https://openalex.org/W2146852848","https://openalex.org/W2148114786","https://openalex.org/W2162000948","https://openalex.org/W2416559203","https://openalex.org/W2507512585","https://openalex.org/W2509841691","https://openalex.org/W2538443008","https://openalex.org/W2601738991","https://openalex.org/W2768035641","https://openalex.org/W2768356411","https://openalex.org/W2796125030","https://openalex.org/W2804520243","https://openalex.org/W2901162916","https://openalex.org/W2912987268","https://openalex.org/W2914280847","https://openalex.org/W2922340626","https://openalex.org/W2945445283","https://openalex.org/W2954005548","https://openalex.org/W2957340013","https://openalex.org/W2963995273","https://openalex.org/W3003404631","https://openalex.org/W3012546843","https://openalex.org/W3033138220","https://openalex.org/W3091087026","https://openalex.org/W3100491209","https://openalex.org/W3112467125","https://openalex.org/W3186412919","https://openalex.org/W3194981700","https://openalex.org/W3196666931","https://openalex.org/W3207178583","https://openalex.org/W4233908264","https://openalex.org/W4246219036","https://openalex.org/W4302339081","https://openalex.org/W4311431014"],"related_works":["https://openalex.org/W2770489137","https://openalex.org/W2790652601","https://openalex.org/W2060032524","https://openalex.org/W2100596986","https://openalex.org/W2143578569","https://openalex.org/W2164968206","https://openalex.org/W2170132780","https://openalex.org/W2508541108","https://openalex.org/W4242459863","https://openalex.org/W2081923730"],"abstract_inverted_index":{"In":[0],"this":[1,73],"paper,":[2],"we":[3,57,76,136],"revisit":[4],"the":[5,26,48,86,92,96,105,115,126,133,138],"verification":[6],"of":[7,25,67,95,107,117],"strong":[8],"K-step":[9,28],"opacity":[10],"(K-SSO)":[11],"for":[12,80],"partially-observed":[13],"discrete-event":[14],"systems":[15],"modeled":[16],"as":[17],"nondeterministic":[18],"finite-state":[19],"automata.":[20],"As":[21],"a":[22,41,59,65,110,142],"stronger":[23],"version":[24],"standard":[27],"opacity,":[29],"K-SSO":[30,82,120],"requires":[31],"that":[32,85],"an":[33,78],"intruder":[34],"cannot":[35],"make":[36],"sure":[37],"whether":[38],"or":[39],"not":[40,89,102],"secret":[42],"state":[43],"has":[44],"been":[45],"visited":[46],"within":[47],"last":[49],"K":[50,118,131],"observable":[51],"steps.":[52],"To":[53],"efficiently":[54],"verify":[55],"K-SSO,":[56],"propose":[58],"new":[60,74,111],"concurrent-composition":[61],"structure,":[62,75],"which":[63,123],"is":[64,121],"variant":[66],"our":[68],"previously-proposed":[69],"one.":[70],"Based":[71],"on":[72,104,114,130],"design":[77],"algorithm":[79,88,140],"deciding":[81],"and":[83],"prove":[84],"proposed":[87,139],"only":[90],"reduces":[91,125],"time":[93],"complexity":[94],"existing":[97,127],"algorithms,":[98],"but":[99],"also":[100,124],"does":[101],"depend":[103],"value":[106,116],"K.":[108],"Furthermore,":[109],"upper":[112,128],"bound":[113,129],"in":[119,132],"derived,":[122],"literature.":[134],"Finally,":[135],"illustrate":[137],"by":[141],"simple":[143],"example.":[144]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}