{"id":"https://openalex.org/W4399993287","doi":"https://doi.org/10.1145/3649158.3657038","title":"Static and Dynamic Analysis of a Usage Control System","display_name":"Static and Dynamic Analysis of a Usage Control System","publication_year":2024,"publication_date":"2024-06-24","ids":{"openalex":"https://openalex.org/W4399993287","doi":"https://doi.org/10.1145/3649158.3657038"},"language":"en","primary_location":{"id":"doi:10.1145/3649158.3657038","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3649158.3657038","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3649158.3657038","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 29th ACM Symposium on Access Control Models and Technologies","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3649158.3657038","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5082258374","display_name":"Ulrich Sch\u00f6pp","orcid":"https://orcid.org/0000-0002-5445-9461"},"institutions":[{"id":"https://openalex.org/I4210134795","display_name":"Fortiss","ror":"https://ror.org/042x1tp92","country_code":"DE","type":"nonprofit","lineage":["https://openalex.org/I4210134795"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Ulrich Sch\u00f6pp","raw_affiliation_strings":["fortiss GmbH, Munich, Germany"],"affiliations":[{"raw_affiliation_string":"fortiss GmbH, Munich, Germany","institution_ids":["https://openalex.org/I4210134795"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011331492","display_name":"Fathiyeh Faghih","orcid":"https://orcid.org/0000-0002-8877-6895"},"institutions":[{"id":"https://openalex.org/I4210134795","display_name":"Fortiss","ror":"https://ror.org/042x1tp92","country_code":"DE","type":"nonprofit","lineage":["https://openalex.org/I4210134795"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Fathiyeh Faghih","raw_affiliation_strings":["fortiss GmbH, Munich, Germany"],"affiliations":[{"raw_affiliation_string":"fortiss GmbH, Munich, Germany","institution_ids":["https://openalex.org/I4210134795"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5099469616","display_name":"Subhajit Bandopadhyay","orcid":"https://orcid.org/0000-0003-2107-1732"},"institutions":[{"id":"https://openalex.org/I4210129353","display_name":"Huawei Technologies (Germany)","ror":"https://ror.org/038cdme44","country_code":"DE","type":"company","lineage":["https://openalex.org/I2250955327","https://openalex.org/I4210129353"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Subhajit Bandopadhyay","raw_affiliation_strings":["Huawei Technologies D\u00fcsseldorf & City, University of London, Munich, Germany"],"affiliations":[{"raw_affiliation_string":"Huawei Technologies D\u00fcsseldorf & City, University of London, Munich, Germany","institution_ids":["https://openalex.org/I4210129353"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011078386","display_name":"Hussein Joumaa","orcid":null},"institutions":[{"id":"https://openalex.org/I193223587","display_name":"University of Trento","ror":"https://ror.org/05trd4x28","country_code":"IT","type":"education","lineage":["https://openalex.org/I193223587"]},{"id":"https://openalex.org/I4210129353","display_name":"Huawei Technologies (Germany)","ror":"https://ror.org/038cdme44","country_code":"DE","type":"company","lineage":["https://openalex.org/I2250955327","https://openalex.org/I4210129353"]}],"countries":["DE","IT"],"is_corresponding":false,"raw_author_name":"Hussein Joumaa","raw_affiliation_strings":["Huawei Technologies D\u00fcsseldorf & University of Trento, Trento, Italy, Germany"],"affiliations":[{"raw_affiliation_string":"Huawei Technologies D\u00fcsseldorf & University of Trento, Trento, Italy, Germany","institution_ids":["https://openalex.org/I193223587","https://openalex.org/I4210129353"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079016812","display_name":"Amjad Ibrahim","orcid":"https://orcid.org/0000-0003-3106-566X"},"institutions":[{"id":"https://openalex.org/I4210129353","display_name":"Huawei Technologies (Germany)","ror":"https://ror.org/038cdme44","country_code":"DE","type":"company","lineage":["https://openalex.org/I2250955327","https://openalex.org/I4210129353"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Amjad Ibrahim","raw_affiliation_strings":["Huawei Technologies D\u00fcsseldorf, Munich, Germany"],"affiliations":[{"raw_affiliation_string":"Huawei Technologies D\u00fcsseldorf, Munich, Germany","institution_ids":["https://openalex.org/I4210129353"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048383718","display_name":"Chuangjie Xu","orcid":"https://orcid.org/0000-0001-6838-4221"},"institutions":[{"id":"https://openalex.org/I4210134795","display_name":"Fortiss","ror":"https://ror.org/042x1tp92","country_code":"DE","type":"nonprofit","lineage":["https://openalex.org/I4210134795"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Chuangjie Xu","raw_affiliation_strings":["fortiss GmbH, Munich, Germany"],"affiliations":[{"raw_affiliation_string":"fortiss GmbH, Munich, Germany","institution_ids":["https://openalex.org/I4210134795"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065286990","display_name":"Xin Ye","orcid":"https://orcid.org/0000-0003-4730-9147"},"institutions":[{"id":"https://openalex.org/I4210134795","display_name":"Fortiss","ror":"https://ror.org/042x1tp92","country_code":"DE","type":"nonprofit","lineage":["https://openalex.org/I4210134795"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Xin Ye","raw_affiliation_strings":["fortiss GmbH, Munich, Germany"],"affiliations":[{"raw_affiliation_string":"fortiss GmbH, Munich, Germany","institution_ids":["https://openalex.org/I4210134795"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5018366807","display_name":"Theo Dimitrakos","orcid":"https://orcid.org/0000-0002-9522-1863"},"institutions":[{"id":"https://openalex.org/I4210129353","display_name":"Huawei Technologies (Germany)","ror":"https://ror.org/038cdme44","country_code":"DE","type":"company","lineage":["https://openalex.org/I2250955327","https://openalex.org/I4210129353"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Theo Dimitrakos","raw_affiliation_strings":["Huawei Technologies D\u00fcsseldorf & University of Kent, Munich, Germany"],"affiliations":[{"raw_affiliation_string":"Huawei Technologies D\u00fcsseldorf & University of Kent, Munich, Germany","institution_ids":["https://openalex.org/I4210129353"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5082258374"],"corresponding_institution_ids":["https://openalex.org/I4210134795"],"apc_list":null,"apc_paid":null,"fwci":1.1326,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.81193702,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"59","last_page":"70"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T12203","display_name":"Mobile Agent-Based Network Management","score":0.9968000054359436,"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/computer-science","display_name":"Computer science","score":0.6418411731719971}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6418411731719971}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3649158.3657038","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3649158.3657038","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3649158.3657038","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 29th ACM Symposium on Access Control Models and Technologies","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3649158.3657038","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3649158.3657038","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3649158.3657038","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 29th ACM Symposium on Access Control Models and Technologies","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4399993287.pdf","grobid_xml":"https://content.openalex.org/works/W4399993287.grobid-xml"},"referenced_works_count":20,"referenced_works":["https://openalex.org/W1535073122","https://openalex.org/W1666845294","https://openalex.org/W1975120975","https://openalex.org/W2027769154","https://openalex.org/W2060208845","https://openalex.org/W2062192948","https://openalex.org/W2068189899","https://openalex.org/W2088417279","https://openalex.org/W2113012730","https://openalex.org/W2126324650","https://openalex.org/W2129340874","https://openalex.org/W2146356111","https://openalex.org/W2153385696","https://openalex.org/W2156665807","https://openalex.org/W2343183650","https://openalex.org/W2784117075","https://openalex.org/W2902278604","https://openalex.org/W4247380071","https://openalex.org/W4313480179","https://openalex.org/W4377967735"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W2382290278","https://openalex.org/W4395014643"],"abstract_inverted_index":{"The":[0],"ability":[1],"to":[2,10,18,22,64,75,95,132,143,173,210,236,252],"exchange":[3],"data":[4,26,31,70,121,128],"while":[5],"maintaining":[6],"sovereignty":[7,16],"is":[8,36,55,85,93],"fundamental":[9],"emerging":[11],"decentralized":[12,118],"data-driven":[13],"ecosystems.":[14],"Data":[15],"refers":[17],"the":[19,83,96,104,117,162,180,212,242,254],"entity's":[20],"capability":[21],"be":[23,191],"self-determined":[24],"concerning":[25],"usage.":[27],"As":[28],"such,":[29],"a":[30,41,61,73,155,194,204],"usage":[32,106],"control":[33],"system":[34],"(UCON)":[35],"critical":[37],"for":[38,167,258],"sovereignty.":[39],"UCON,":[40],"generalization":[42],"of":[43,69,98,120,164,196,214,219],"attribute-based":[44],"access":[45,54],"control,":[46],"enforces":[47],"continuous":[48],"authorization,":[49,101],"allowing":[50],"attribute":[51,188],"mutability":[52],"after":[53],"granted.":[56],"In":[57,80],"theory,":[58],"UCON":[59,99],"comprises":[60],"policy":[62,148,157,168],"language":[63],"express":[65],"constraints":[66,107],"and":[67,72,77,87,103,135,150,170,222,233],"obligations":[68],"usage,":[71],"technology":[74],"evaluate":[76],"enforce":[78],"them.":[79],"practice,":[81],"realizing":[82],"above":[84],"challenging":[86],"poses":[88],"trust":[89],"concerns.":[90],"Partly,":[91],"this":[92],"due":[94],"complexity":[97],"(continuous":[100],"obligations)":[102],"advanced":[105],"(stemming":[108],"from,":[109],"e.g.,":[110],"regulations":[111],"or":[112,198],"business":[113],"contracts)":[114],"combined":[115],"with":[116,146],"nature":[119],"ecosystems":[122],"that":[123,139,249],"allow":[124,250],"different":[125],"actors":[126,145],"(e.g.,":[127],"provider,":[129],"security":[130],"engineers)":[131],"author":[133],"policies,":[134],"operate":[136],"UCON.":[137,260],"To":[138,225],"end,":[140],"we":[141,228],"propose":[142,203],"aid":[144],"automated":[147],"analysis":[149,158],"verification":[151],"methods.":[152],"We":[153,201,244],"present":[154,246],"new":[156],"method":[159],"based":[160,240],"on":[161,179,241],"combination":[163],"symbolic":[165,185,199],"execution":[166],"evaluation":[169],"SMT":[171],"solving":[172],"compute":[174],"concrete":[175,192],"scenarios":[176],"answering":[177],"queries":[178],"policies.":[181],"Our":[182],"approach":[183,206],"supports":[184],"queries,":[186],"where":[187],"values":[189],"may":[190],"values,":[193,197],"range":[195],"variables.":[200],"also":[202,245],"monitoring":[205,259],"using":[207],"RTLola":[208],"tool":[209],"verify":[211],"correctness":[213],"UCON's":[215],"behavior":[216],"in":[217],"terms":[218],"decisions,":[220],"obligations,":[221,227],"user-specified":[223],"properties.":[224],"monitor":[226,237],"define":[229],"their":[230,238],"essential":[231],"parameters":[232],"show":[234],"how":[235],"fulfillment":[239],"configuration.":[243],"eight":[247],"templates":[248],"users":[251],"generate":[253],"most":[255],"important":[256],"properties":[257]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}