{"id":"https://openalex.org/W4403677619","doi":"https://doi.org/10.1109/case59546.2024.10711688","title":"Property-Based Transparency: a New Utility Definition<sup>*</sup>","display_name":"Property-Based Transparency: a New Utility Definition<sup>*</sup>","publication_year":2024,"publication_date":"2024-08-28","ids":{"openalex":"https://openalex.org/W4403677619","doi":"https://doi.org/10.1109/case59546.2024.10711688"},"language":"en","primary_location":{"id":"doi:10.1109/case59546.2024.10711688","is_oa":false,"landing_page_url":"https://doi.org/10.1109/case59546.2024.10711688","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE 20th International Conference on Automation Science and Engineering (CASE)","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/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":true,"raw_author_name":"Patr\u00edcia C. Mayer","raw_affiliation_strings":["Federal University of Santa Catarina,Department of Automation and Systems,Florian&#x00F3;polis,SC,Brazil,88.040-900"],"affiliations":[{"raw_affiliation_string":"Federal University of Santa Catarina,Department of Automation and Systems,Florian&#x00F3;polis,SC,Brazil,88.040-900","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":false,"raw_author_name":"Felipe G. Cabral","raw_affiliation_strings":["Federal University of Santa Catarina,Department of Automation and Systems,Florian&#x00F3;polis,SC,Brazil,88.040-900"],"affiliations":[{"raw_affiliation_string":"Federal University of Santa Catarina,Department of Automation and Systems,Florian&#x00F3;polis,SC,Brazil,88.040-900","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":"P\u00fablio M. M. Lima","raw_affiliation_strings":["Federal University of Santa Catarina,Department of Automation and Systems,Florian&#x00F3;polis,SC,Brazil,88.040-900"],"affiliations":[{"raw_affiliation_string":"Federal University of Santa Catarina,Department of Automation and Systems,Florian&#x00F3;polis,SC,Brazil,88.040-900","institution_ids":["https://openalex.org/I4104125"]}]},{"author_position":"middle","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":["Universidade Federal do Rio de Janeiro, Cidade Universit&#x00E1;ria,COPPE - Electrical Engineering Program,Rio de Janeiro,RJ,Brazil,21.945-970"],"affiliations":[{"raw_affiliation_string":"Universidade Federal do Rio de Janeiro, Cidade Universit&#x00E1;ria,COPPE - Electrical Engineering Program,Rio de Janeiro,RJ,Brazil,21.945-970","institution_ids":["https://openalex.org/I122140584"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041394319","display_name":"Audine Subias","orcid":"https://orcid.org/0000-0003-3297-577X"},"institutions":[{"id":"https://openalex.org/I196454796","display_name":"Institut National des Sciences Appliqu\u00e9es de Toulouse","ror":"https://ror.org/01h8pf755","country_code":"FR","type":"education","lineage":["https://openalex.org/I196454796","https://openalex.org/I4405258862"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I190497903","display_name":"Laboratoire d'Analyse et d'Architecture des Syst\u00e8mes","ror":"https://ror.org/03vcm6439","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I134560555","https://openalex.org/I190497903","https://openalex.org/I196454796","https://openalex.org/I205747304","https://openalex.org/I205747304","https://openalex.org/I4210095849","https://openalex.org/I4210159245","https://openalex.org/I4387153255","https://openalex.org/I4405258862","https://openalex.org/I4405258862","https://openalex.org/I4405258862","https://openalex.org/I4405258862"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Audine Subias","raw_affiliation_strings":["University of Toulouse,LAAS-CNRS, INSA,France"],"affiliations":[{"raw_affiliation_string":"University of Toulouse,LAAS-CNRS, INSA,France","institution_ids":["https://openalex.org/I196454796","https://openalex.org/I1294671590","https://openalex.org/I190497903"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5044034021","display_name":"Yannick Pencol\u00e9","orcid":"https://orcid.org/0000-0002-2970-914X"},"institutions":[{"id":"https://openalex.org/I190497903","display_name":"Laboratoire d'Analyse et d'Architecture des Syst\u00e8mes","ror":"https://ror.org/03vcm6439","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I134560555","https://openalex.org/I190497903","https://openalex.org/I196454796","https://openalex.org/I205747304","https://openalex.org/I205747304","https://openalex.org/I4210095849","https://openalex.org/I4210159245","https://openalex.org/I4387153255","https://openalex.org/I4405258862","https://openalex.org/I4405258862","https://openalex.org/I4405258862","https://openalex.org/I4405258862"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I17866349","display_name":"Universit\u00e9 F\u00e9d\u00e9rale de Toulouse Midi-Pyr\u00e9n\u00e9es","ror":"https://ror.org/004raaa70","country_code":"FR","type":"education","lineage":["https://openalex.org/I17866349"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Yannick Pencol\u00e9","raw_affiliation_strings":["University of Toulouse,LAAS-CNRS, CNRS,France"],"affiliations":[{"raw_affiliation_string":"University of Toulouse,LAAS-CNRS, CNRS,France","institution_ids":["https://openalex.org/I17866349","https://openalex.org/I1294671590","https://openalex.org/I190497903"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5007890151"],"corresponding_institution_ids":["https://openalex.org/I4104125"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.14894934,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"2825","last_page":"2831"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10632","display_name":"Housing Market and Economics","score":0.24390000104904175,"subfield":{"id":"https://openalex.org/subfields/2002","display_name":"Economics and Econometrics"},"field":{"id":"https://openalex.org/fields/20","display_name":"Economics, Econometrics and Finance"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10632","display_name":"Housing Market and Economics","score":0.24390000104904175,"subfield":{"id":"https://openalex.org/subfields/2002","display_name":"Economics and Econometrics"},"field":{"id":"https://openalex.org/fields/20","display_name":"Economics, Econometrics and Finance"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.6110450029373169},{"id":"https://openalex.org/keywords/transparency","display_name":"Transparency (behavior)","score":0.5538437366485596},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5197962522506714},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.15965500473976135},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.06966540217399597}],"concepts":[{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.6110450029373169},{"id":"https://openalex.org/C2780233690","wikidata":"https://www.wikidata.org/wiki/Q535347","display_name":"Transparency (behavior)","level":2,"score":0.5538437366485596},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5197962522506714},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.15965500473976135},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.06966540217399597},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/case59546.2024.10711688","is_oa":false,"landing_page_url":"https://doi.org/10.1109/case59546.2024.10711688","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE 20th International Conference on Automation Science and Engineering (CASE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5400000214576721,"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320321091","display_name":"Coordena\u00e7\u00e3o de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior","ror":"https://ror.org/00x0ma614"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W1985787415","https://openalex.org/W2004398490","https://openalex.org/W2052227055","https://openalex.org/W2099395647","https://openalex.org/W2146852848","https://openalex.org/W2162000948","https://openalex.org/W2416559203","https://openalex.org/W2509841691","https://openalex.org/W2736690356","https://openalex.org/W2796125030","https://openalex.org/W2804520243","https://openalex.org/W2911978475","https://openalex.org/W2991356567","https://openalex.org/W3048888572","https://openalex.org/W4283398753","https://openalex.org/W4310065356","https://openalex.org/W4317851157","https://openalex.org/W4319314981","https://openalex.org/W4387551304","https://openalex.org/W4387646177","https://openalex.org/W4388904417","https://openalex.org/W4388917947","https://openalex.org/W4400744682"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W4382930947","https://openalex.org/W3081288631","https://openalex.org/W3152382318","https://openalex.org/W3004686567","https://openalex.org/W2738656338","https://openalex.org/W2603787370","https://openalex.org/W2555400967"],"abstract_inverted_index":{"Cyber-physical":[0],"systems":[1,22],"(CPSs)":[2],"are":[3,23,60],"composed":[4],"of":[5,57,68,91,99,153,217,223],"computational":[6],"and":[7,29,48,96,184,209,220],"physical":[8],"components":[9],"that":[10,140],"interact":[11],"to":[12,46,51,74,79,101,130,146,161,196,214],"achieve":[13,131],"a":[14,18,32,86,132,150,162,176,185,190],"desired":[15,133,198],"behavior":[16],"for":[17,112,187],"given":[19,151],"system.":[20],"These":[21],"widely":[24],"used":[25],"in":[26,35,206],"industrial":[27],"applications":[28],"have":[30],"guaranteed":[31],"solid":[33],"improvement":[34],"productivity.":[36],"However,":[37],"their":[38],"high":[39],"connectivity":[40],"also":[41],"makes":[42],"them":[43],"more":[44],"vulnerable":[45],"cyber-attacks,":[47],"thus,":[49],"strategies":[50],"increase":[52],"and/or":[53],"guarantee":[54],"the":[55,63,66,89,97,109,120,128,144,158,197,215],"privacy":[56,90],"classified":[58],"information":[59,92,126,142],"mandatory.":[61],"On":[62],"other":[64],"hand,":[65],"availability":[67],"system":[69,129,159,191],"information,":[70],"known":[71],"as":[72,115],"utility,":[73],"trustworthy":[75],"agents":[76,95],"is":[77,143,155,167,192],"fundamental":[78],"operating":[80],"large-scale":[81],"CPSs":[82,113],"efficiently,":[83],"which":[84],"establishes":[85],"trade-off":[87],"between":[88],"against":[93],"malicious":[94],"utility":[98,110,178],"data":[100],"legitimate":[102],"receivers.":[103],"In":[104,135,200],"this":[105,136,141,165,172],"paper,":[106],"we":[107,138,174,202],"explore":[108],"problem":[111],"abstracted":[114],"Discrete-Event":[116],"Systems":[117],"(DESs),":[118],"where":[119,164],"intended":[121],"receiver":[122],"must":[123],"know":[124],"useful":[125],"about":[127],"goal.":[134],"context,":[137],"consider":[139],"ability":[145],"be":[147],"sure":[148],"when":[149],"property":[152,166],"interest":[154],"satisfied":[156],"before":[157],"evolves":[160],"state":[163],"no":[168],"longer":[169],"valid.":[170],"To":[171],"end,":[173],"propose":[175],"new":[177],"notion":[179,216],"called":[180],"Property-Based":[181],"Transparency":[182],"(PT),":[183],"method":[186],"verifying":[188],"whether":[189],"transparent":[193],"with":[194],"respect":[195],"property.":[199],"addition,":[201],"discuss":[203],"PT\u2019s":[204],"applicability":[205],"two":[207],"domains":[208],"present":[210],"how":[211],"it":[212],"relates":[213],"current-state":[218],"opacity":[219],"fault":[221],"diagnosis":[222],"DES.":[224]},"counts_by_year":[],"updated_date":"2025-12-27T23:08:20.325037","created_date":"2025-10-10T00:00:00"}