{"id":"https://openalex.org/W4313071410","doi":"https://doi.org/10.1109/tac.2022.3210148","title":"Secure Your Intention: On Notions of Pre-Opacity in Discrete-Event Systems","display_name":"Secure Your Intention: On Notions of Pre-Opacity in Discrete-Event Systems","publication_year":2022,"publication_date":"2022-09-27","ids":{"openalex":"https://openalex.org/W4313071410","doi":"https://doi.org/10.1109/tac.2022.3210148"},"language":"en","primary_location":{"id":"doi:10.1109/tac.2022.3210148","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2022.3210148","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"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 Automatic Control","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/A5086158718","display_name":"Shuo Yang","orcid":"https://orcid.org/0000-0003-1847-6413"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shuo Yang","raw_affiliation_strings":["Department of Electrical and Systems Engineering, University of Pennsylvania, Philadelphia, PA, USA"],"raw_orcid":"https://orcid.org/0000-0003-1847-6413","affiliations":[{"raw_affiliation_string":"Department of Electrical and Systems Engineering, University of Pennsylvania, Philadelphia, PA, USA","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5034304769","display_name":"Xiang Yin","orcid":"https://orcid.org/0000-0003-1944-1570"},"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":"Xiang Yin","raw_affiliation_strings":["Department of Automation and Key Laboratory of System Control and Information Processing, Shanghai Jiao Tong University, Shanghai, China"],"raw_orcid":"https://orcid.org/0000-0003-1944-1570","affiliations":[{"raw_affiliation_string":"Department of Automation and Key Laboratory of System Control and Information Processing, Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.6541,"has_fulltext":false,"cited_by_count":22,"citation_normalized_percentile":{"value":0.91404174,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"68","issue":"8","first_page":"4754","last_page":"4766"},"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.9990000128746033,"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.9990000128746033,"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.9983000159263611,"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/T11424","display_name":"Security and Verification in Computing","score":0.9878000020980835,"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/opacity","display_name":"Opacity","score":0.6667047142982483},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5762434601783752},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.5335498452186584},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.42060866951942444},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3828219175338745},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.10874134302139282}],"concepts":[{"id":"https://openalex.org/C60056205","wikidata":"https://www.wikidata.org/wiki/Q691914","display_name":"Opacity","level":2,"score":0.6667047142982483},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5762434601783752},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.5335498452186584},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.42060866951942444},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3828219175338745},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.10874134302139282},{"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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tac.2022.3210148","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2022.3210148","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"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 Automatic Control","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.5299999713897705}],"awards":[{"id":"https://openalex.org/G1195885390","display_name":null,"funder_award_id":"61833012","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G210139373","display_name":null,"funder_award_id":"62061136004","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5751649387","display_name":null,"funder_award_id":"62173226","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":49,"referenced_works":["https://openalex.org/W1947473960","https://openalex.org/W1976202267","https://openalex.org/W1977805032","https://openalex.org/W1985508025","https://openalex.org/W1986386117","https://openalex.org/W1992424076","https://openalex.org/W2001653139","https://openalex.org/W2004398490","https://openalex.org/W2008737885","https://openalex.org/W2031373068","https://openalex.org/W2031845735","https://openalex.org/W2037457229","https://openalex.org/W2041545457","https://openalex.org/W2052227055","https://openalex.org/W2053696489","https://openalex.org/W2064886960","https://openalex.org/W2073108636","https://openalex.org/W2073417396","https://openalex.org/W2090930915","https://openalex.org/W2093645787","https://openalex.org/W2130675058","https://openalex.org/W2142367687","https://openalex.org/W2146852848","https://openalex.org/W2148114786","https://openalex.org/W2323109263","https://openalex.org/W2507512585","https://openalex.org/W2521231675","https://openalex.org/W2538443008","https://openalex.org/W2601738991","https://openalex.org/W2603068814","https://openalex.org/W2768035641","https://openalex.org/W2796125030","https://openalex.org/W2800404248","https://openalex.org/W2804520243","https://openalex.org/W2809079675","https://openalex.org/W2901162916","https://openalex.org/W2922340626","https://openalex.org/W2953150142","https://openalex.org/W2954005548","https://openalex.org/W2957340013","https://openalex.org/W2963995273","https://openalex.org/W2964092980","https://openalex.org/W2968762186","https://openalex.org/W2979734265","https://openalex.org/W3003404631","https://openalex.org/W3033138220","https://openalex.org/W3089935924","https://openalex.org/W3100491209","https://openalex.org/W6745309365"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2161791806","https://openalex.org/W4366824690","https://openalex.org/W2613656770","https://openalex.org/W2482431380","https://openalex.org/W2073474947","https://openalex.org/W2082077321","https://openalex.org/W2053059436"],"abstract_inverted_index":{"This":[0],"article":[1],"investigates":[2],"an":[3,189],"important":[4],"inform-":[5],"ation-flow":[6],"security":[7,93],"property":[8],"called":[9],"opacity":[10,66,125],"in":[11,84,113,202],"partially-observed":[12],"discrete-event":[13],"systems.":[14],"We":[15],"consider":[16,68],"the":[17,26,30,35,44,57,85,100,103,114,131,135,147,153,157,196,203,206,222,225,229],"presence":[18],"of":[19,29,43,65,102,111,124,137,143,156,164,177,198,205,228,238],"a":[20,95,121,140,181,235,243],"passive":[21],"intruder":[22,132],"(eavesdropper)":[23],"that":[24,211],"knows":[25],"dynamic":[27],"model":[28],"system":[31,47,104,148,207,230],"and":[32,183],"can":[33,133],"use":[34],"generated":[36],"information":[37],"flow":[38],"to":[39,50,221],"infer":[40],"some":[41,74,81,108],"\u201csecret\u201d":[42],"system.":[45],"A":[46],"is":[48,200,213,231],"said":[49],"be":[51],"opaque":[52],"if":[53],"it":[54],"always":[55],"holds":[56],"plausible":[58],"deniability":[59],"for":[60,195],"its":[61],"secret.":[62],"Existing":[63],"notions":[64],"only":[67],"secret":[69,75,82,101,138,226,244],"either":[70],"as":[71,78,105,186,188,208,233],"currently":[72],"visiting":[73,242],"states":[76,83,139],"or":[77,129],"having":[79],"visited":[80],"past.":[86],"In":[87],"this":[88,117,172],"article,":[89],"we":[90,119,159,179,209,217],"investigate":[91],"information-flow":[92],"from":[94],"new":[96,122],"angle":[97],"by":[98],"considering":[99],"theintentionto":[106],"execute":[107],"particular":[109,236],"behavior":[110],"importance":[112],"future.":[115],"To":[116],"end,":[118],"propose":[120,160],"class":[123],"calledpre-opacitythat":[126],"characterizes":[127],"whether":[128],"not":[130],"predict":[134],"visit":[136],"certain":[141],"number":[142],"steps":[144],"ahead":[145],"before":[146],"actually":[149],"does":[150],"so.":[151],"Depending":[152],"prediction":[154],"task":[155],"intruder,":[158],"two":[161],"specific":[162],"kinds":[163],"pre-opacity":[165,199,212],"called$K$-step":[166],"instant":[167],"pre-opacityand$K$-step":[168],"trajectory":[169],"pre-opacityto":[170],"specify":[171],"concept.":[173],"For":[174],"each":[175],"notion":[176],"pre-opacity,":[178],"provide":[180],"necessary":[182],"sufficient":[184],"condition":[185],"well":[187],"effective":[190],"verification":[191,197],"algorithm.":[192],"The":[193],"complexity":[194],"exponential":[201],"size":[204],"show":[210],"inherently":[214],"PSPACE-hard.":[215],"Finally,":[216],"generalize":[218],"our":[219],"setting":[220],"case":[223],"where":[224],"intention":[227],"modeled":[232],"executing":[234],"sequence":[237],"events":[239],"rather":[240],"than":[241],"state.":[245]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":6},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":8},{"year":2022,"cited_by_count":1}],"updated_date":"2026-07-29T09:40:50.615796","created_date":"2025-10-10T00:00:00"}