{"id":"https://openalex.org/W2787557607","doi":"https://doi.org/10.1109/ascc.2017.8287150","title":"Infinite-step opacity of stochastic discrete-event systems","display_name":"Infinite-step opacity of stochastic discrete-event systems","publication_year":2017,"publication_date":"2017-12-01","ids":{"openalex":"https://openalex.org/W2787557607","doi":"https://doi.org/10.1109/ascc.2017.8287150","mag":"2787557607"},"language":"en","primary_location":{"id":"doi:10.1109/ascc.2017.8287150","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ascc.2017.8287150","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 11th Asian Control Conference (ASCC)","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/A5034304769","display_name":"Xiang Yin","orcid":"https://orcid.org/0000-0003-1944-1570"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan\u2013Ann Arbor","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]},{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN","US"],"is_corresponding":true,"raw_author_name":"Xiang Yin","raw_affiliation_strings":["Department of Automation, Shanghai Jiao Tong University, Shanghai, China","Department of EECS, University of Michigan, Ann Arbor, MI, USA"],"affiliations":[{"raw_affiliation_string":"Department of Automation, Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]},{"raw_affiliation_string":"Department of EECS, University of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037274043","display_name":"Zhaojian Li","orcid":"https://orcid.org/0000-0002-0189-8719"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan\u2013Ann Arbor","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zhaojian Li","raw_affiliation_strings":["Department of Aerospace Engineering, University of Michigan, Ann Arbor, MI, USA"],"affiliations":[{"raw_affiliation_string":"Department of Aerospace Engineering, University of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100357271","display_name":"Weilin Wang","orcid":"https://orcid.org/0000-0003-4541-180X"},"institutions":[{"id":"https://openalex.org/I56590836","display_name":"Monash University","ror":"https://ror.org/02bfwt286","country_code":"AU","type":"education","lineage":["https://openalex.org/I56590836"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Weilin Wang","raw_affiliation_strings":["Faculty of Engineering, Monash University, Clayton, VIC, Australia"],"affiliations":[{"raw_affiliation_string":"Faculty of Engineering, Monash University, Clayton, VIC, Australia","institution_ids":["https://openalex.org/I56590836"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5041126305","display_name":"Shaoyuan Li","orcid":"https://orcid.org/0000-0003-3427-2912"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shaoyuan Li","raw_affiliation_strings":["Department of Automation, Shanghai Jiao Tong University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"Department of Automation, Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5034304769"],"corresponding_institution_ids":["https://openalex.org/I183067930","https://openalex.org/I27837315"],"apc_list":null,"apc_paid":null,"fwci":0.9084,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.781068,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"102","last_page":"107"},"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.9983000159263611,"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.9983000159263611,"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.9947999715805054,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9776999950408936,"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/opacity","display_name":"Opacity","score":0.7202451229095459},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.567512035369873},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.5104169249534607},{"id":"https://openalex.org/keywords/discrete-event-simulation","display_name":"Discrete event simulation","score":0.5019664764404297},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.1462506353855133},{"id":"https://openalex.org/keywords/simulation","display_name":"Simulation","score":0.13002365827560425},{"id":"https://openalex.org/keywords/optics","display_name":"Optics","score":0.06899195909500122},{"id":"https://openalex.org/keywords/astrophysics","display_name":"Astrophysics","score":0.05945199728012085}],"concepts":[{"id":"https://openalex.org/C60056205","wikidata":"https://www.wikidata.org/wiki/Q691914","display_name":"Opacity","level":2,"score":0.7202451229095459},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.567512035369873},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.5104169249534607},{"id":"https://openalex.org/C147203929","wikidata":"https://www.wikidata.org/wiki/Q574814","display_name":"Discrete event simulation","level":2,"score":0.5019664764404297},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.1462506353855133},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.13002365827560425},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.06899195909500122},{"id":"https://openalex.org/C44870925","wikidata":"https://www.wikidata.org/wiki/Q37547","display_name":"Astrophysics","level":1,"score":0.05945199728012085}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ascc.2017.8287150","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ascc.2017.8287150","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 11th Asian Control Conference (ASCC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7699999809265137,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W1587663028","https://openalex.org/W1970687875","https://openalex.org/W1976202267","https://openalex.org/W1985508025","https://openalex.org/W1992424076","https://openalex.org/W2001653139","https://openalex.org/W2004398490","https://openalex.org/W2008737885","https://openalex.org/W2031373068","https://openalex.org/W2037457229","https://openalex.org/W2052227055","https://openalex.org/W2064886960","https://openalex.org/W2077280257","https://openalex.org/W2086081604","https://openalex.org/W2090930915","https://openalex.org/W2146852848","https://openalex.org/W2148114786","https://openalex.org/W2292623133","https://openalex.org/W2339545374","https://openalex.org/W2416559203","https://openalex.org/W2439598549","https://openalex.org/W2488141085","https://openalex.org/W2497816991","https://openalex.org/W2507512585","https://openalex.org/W2509841691","https://openalex.org/W2521231675","https://openalex.org/W2538443008","https://openalex.org/W2601738991","https://openalex.org/W2603068814","https://openalex.org/W2912987268","https://openalex.org/W3037660916","https://openalex.org/W3089935924","https://openalex.org/W6644156369","https://openalex.org/W6703387486"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2161791806","https://openalex.org/W2073474947","https://openalex.org/W4366824690","https://openalex.org/W2613656770","https://openalex.org/W2482431380","https://openalex.org/W2082077321","https://openalex.org/W2053059436","https://openalex.org/W4313201885"],"abstract_inverted_index":{"Opacity":[0],"is":[1,84,141,154,162],"an":[2,183],"important":[3],"information-flow":[4],"property":[5],"that":[6,46,53],"arises":[7],"in":[8,25,65,106,115,125],"security":[9],"and":[10],"privacy":[11],"analysis":[12,72],"of":[13,21,28,41,73,99,122,128,135,150,175,189],"cyber-physical":[14],"systems.":[15,131],"It":[16],"captures":[17],"the":[18,22,26,47,54,66,71,120,126,148,172,176,187],"plausible":[19],"deniability":[20],"system's":[23],"\u201csecret\u201d":[24],"presence":[27],"a":[29,34,38,58,78,82,90,96,157],"malicious":[30],"intruder":[31,48],"modeled":[32],"as":[33,169],"passive":[35],"observer.":[36],"As":[37],"specific":[39,63],"type":[40],"opacity,":[42,136,140],"infinite-step":[43,74,111,123,139,152,191],"opacity":[44,75,112,124,153],"requires":[45],"can":[49],"never":[50],"determine":[51],"unambiguously":[52],"system":[55,60,83,92,177],"was":[56],"at":[57],"secret":[59],"for":[61,186],"any":[62],"instant":[64],"past.":[67],"Existing":[68],"works":[69],"on":[70],"only":[76,94],"provide":[77,182],"binary":[79],"characterization,":[80],"i.e.,":[81],"either":[85],"opaque":[86],"or":[87,146],"non-opaque.":[88],"However,":[89],"non-infinite-step-opaque":[91],"may":[93,102],"have":[95],"small":[97],"probability":[98,149,174],"violation;":[100],"this":[101,116],"be":[103],"still":[104],"tolerable":[105],"many":[107],"applications.":[108],"To":[109],"analyze":[110],"more":[113],"quantitatively,":[114],"paper,":[117],"we":[118],"investigate":[119],"verification":[121,188],"context":[127],"stochastic":[129],"discrete-event":[130],"A":[132],"new":[133],"notion":[134,161],"called":[137],"almost":[138,190],"proposed":[142],"to":[143],"capture":[144],"whether":[145],"not":[147],"violating":[151],"smaller":[155],"than":[156,164],"given":[158],"threshold.":[159],"This":[160],"weaker":[163],"its":[165],"purely":[166],"logical":[167],"counter-part":[168],"it":[170],"takes":[171],"transition":[173],"into":[178],"account.":[179],"We":[180],"also":[181],"effective":[184],"algorithm":[185],"opacity.":[192]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}