{"id":"https://openalex.org/W2049903083","doi":"https://doi.org/10.1109/cdc.2012.6426760","title":"Enforcement of opacity properties using insertion functions","display_name":"Enforcement of opacity properties using insertion functions","publication_year":2012,"publication_date":"2012-12-01","ids":{"openalex":"https://openalex.org/W2049903083","doi":"https://doi.org/10.1109/cdc.2012.6426760","mag":"2049903083"},"language":"en","primary_location":{"id":"doi:10.1109/cdc.2012.6426760","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2012.6426760","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 IEEE 51st IEEE Conference on Decision and Control (CDC)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5015267150","display_name":"Yi-Chin Wu","orcid":"https://orcid.org/0000-0002-9961-2968"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yi-Chin Wu","raw_affiliation_strings":["Department of EECS, University of Michigan, Ann Arbor, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of EECS, University of Michigan, Ann Arbor, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5027585653","display_name":"St\u00e9phane Lafortune","orcid":"https://orcid.org/0000-0002-7526-6642"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Stephane Lafortune","raw_affiliation_strings":["Department of EECS, University of Michigan, Ann Arbor, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of EECS, University of Michigan, Ann Arbor, USA","institution_ids":["https://openalex.org/I27837315"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I27837315"],"apc_list":null,"apc_paid":null,"fwci":2.2866,"has_fulltext":false,"cited_by_count":23,"citation_normalized_percentile":{"value":0.87646767,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"6722","last_page":"6728"},"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.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"}},"topics":[{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","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/T11424","display_name":"Security and Verification in Computing","score":0.9980999827384949,"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"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9969000220298767,"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/opacity","display_name":"Opacity","score":0.8224254846572876},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.6211947202682495},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.6148396730422974},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6011088490486145},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.5743656158447266},{"id":"https://openalex.org/keywords/enforcement","display_name":"Enforcement","score":0.44905638694763184},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2828768491744995},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.16106581687927246},{"id":"https://openalex.org/keywords/law","display_name":"Law","score":0.14987200498580933}],"concepts":[{"id":"https://openalex.org/C60056205","wikidata":"https://www.wikidata.org/wiki/Q691914","display_name":"Opacity","level":2,"score":0.8224254846572876},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.6211947202682495},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6148396730422974},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6011088490486145},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.5743656158447266},{"id":"https://openalex.org/C2779777834","wikidata":"https://www.wikidata.org/wiki/Q4202277","display_name":"Enforcement","level":2,"score":0.44905638694763184},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2828768491744995},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.16106581687927246},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.14987200498580933},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"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/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","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/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cdc.2012.6426760","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2012.6426760","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 IEEE 51st IEEE Conference on Decision and Control (CDC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.6499999761581421,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W1497487247","https://openalex.org/W1562284768","https://openalex.org/W1587663028","https://openalex.org/W2031373068","https://openalex.org/W2036910349","https://openalex.org/W2037457229","https://openalex.org/W2052227055","https://openalex.org/W2061598829","https://openalex.org/W2064886960","https://openalex.org/W2068341689","https://openalex.org/W2115354781","https://openalex.org/W2142367687","https://openalex.org/W2146852848","https://openalex.org/W2168066002","https://openalex.org/W2509841691","https://openalex.org/W2620434798","https://openalex.org/W6738737856"],"related_works":["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","https://openalex.org/W2401696997","https://openalex.org/W4243546976"],"abstract_inverted_index":{"Opacity":[0],"is":[1,65,163],"a":[2,19,22,51,66,127,142,159,173,179],"confidentiality":[3],"property":[4,116,162,182],"that":[5,75,125,135],"arises":[6],"in":[7,13,41,172],"the":[8,36,57,70,73,77,92,98,115,146,194],"analysis":[9],"of":[10,21,38,59,72,117],"security":[11],"properties":[12],"networked":[14],"systems.":[15],"It":[16],"characterizes":[17],"whether":[18],"\u201csecret\u201d":[20],"system":[23,74,129],"can":[24,153],"be":[25,154,187],"inferred":[26],"by":[27,81],"an":[28,32,122,198],"outside":[29],"observer":[30],"called":[31,145],"\u201cintruder.\u201d":[33],"We":[34,49,113],"consider":[35],"problem":[37],"enforcing":[39],"opacity":[40,161,181],"partially-observed":[42],"discrete":[43],"event":[44],"systems":[45],"modeled":[46],"as":[47],"automata.":[48],"propose":[50],"novel":[52],"enforcement":[53],"mechanism":[54],"based":[55],"on":[56],"use":[58,193],"insertion":[60,63,87,99,123,133,170,200],"functions.":[61],"An":[62],"function":[64,88,100,124],"monitoring":[67],"interface":[68],"at":[69],"output":[71,79,95],"changes":[76],"system's":[78,94],"behavior":[80,106],"inserting":[82],"additional":[83],"observable":[84,111],"events.":[85],"The":[86,151,165],"must":[89],"respond":[90],"to":[91,156,186,192,196],"full":[93],"behavior.":[96],"Also,":[97],"should":[101],"not":[102],"create":[103],"new":[104,143],"observed":[105],"but":[107],"only":[108],"replicate":[109],"existing":[110],"strings.":[112],"define":[114,139],"\u201ci-enforceability,\u201d":[118],"when":[119],"there":[120],"exists":[121],"renders":[126],"non-opaque":[128],"opaque.":[130],"To":[131],"synthesize":[132,197],"functions":[134,171],"ensure":[136],"opacity,":[137],"we":[138,189],"and":[140],"construct":[141],"structure":[144],"\u201cAll":[147],"Insertion":[148],"Structure\u201d":[149],"(AIS).":[150],"AIS":[152,166,195],"used":[155],"verify":[157],"if":[158],"given":[160,180],"i-enforceable.":[164],"enumerates":[167],"all":[168],"i-enforcing":[169,199],"compact":[174],"state":[175],"transition":[176],"structure.":[177],"If":[178],"has":[183],"been":[184],"verified":[185],"i-enforceable,":[188],"show":[190],"how":[191],"function.":[201]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":5},{"year":2013,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}