{"id":"https://openalex.org/W2807924787","doi":"https://doi.org/10.3233/jcs-15756","title":"Automated and efficient analysis of\u00a0administrative temporal RBAC policies with role hierarchies","display_name":"Automated and efficient analysis of\u00a0administrative temporal RBAC policies with role hierarchies","publication_year":2018,"publication_date":"2018-06-13","ids":{"openalex":"https://openalex.org/W2807924787","doi":"https://doi.org/10.3233/jcs-15756","mag":"2807924787"},"language":"en","primary_location":{"id":"doi:10.3233/jcs-15756","is_oa":false,"landing_page_url":"https://doi.org/10.3233/jcs-15756","pdf_url":null,"source":{"id":"https://openalex.org/S106992369","display_name":"Journal of Computer Security","issn_l":"0926-227X","issn":["0926-227X","1875-8924"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Computer Security","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/A5047487115","display_name":"Silvio Ranise","orcid":"https://orcid.org/0000-0001-7269-9285"},"institutions":[{"id":"https://openalex.org/I4210090861","display_name":"Ferioli & Gianotti (Italy)","ror":"https://ror.org/009v14c36","country_code":"IT","type":"company","lineage":["https://openalex.org/I4210090861"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Silvio Ranise","raw_affiliation_strings":["Security &\u00a0Trust, FBK-Irst, Trento, Italy. E-mail:\u00a0","Security &\u00a0Trust, FBK-Irst, Trento, Italy. E-mail:\u00a0ranise@fbk.eu"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Security &\u00a0Trust, FBK-Irst, Trento, Italy. E-mail:\u00a0","institution_ids":["https://openalex.org/I4210090861"]},{"raw_affiliation_string":"Security &\u00a0Trust, FBK-Irst, Trento, Italy. E-mail:\u00a0ranise@fbk.eu","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066953147","display_name":"Tr\u01b0\u01a1ng Vi\u1ec7t Anh","orcid":"https://orcid.org/0000-0002-5151-5771"},"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/I4210090861","display_name":"Ferioli & Gianotti (Italy)","ror":"https://ror.org/009v14c36","country_code":"IT","type":"company","lineage":["https://openalex.org/I4210090861"]},{"id":"https://openalex.org/I4210148201","display_name":"Ho Chi Minh City University of Technology and Engineering","ror":"https://ror.org/05hzn5427","country_code":"VN","type":"education","lineage":["https://openalex.org/I4210148201"]},{"id":"https://openalex.org/I47265099","display_name":"Ho Chi Minh City University of Technology","ror":"https://ror.org/04qva2324","country_code":"VN","type":"education","lineage":["https://openalex.org/I123565023","https://openalex.org/I47265099"]}],"countries":["IT","VN"],"is_corresponding":false,"raw_author_name":"Anh Truong","raw_affiliation_strings":["DISI, University of Trento, Italy","Ho Chi Minh City University of Technology (HCMUT), Vietnam. E-mail:\u00a0","Security &\u00a0Trust, FBK-Irst, Trento, Italy. E-mail:\u00a0","Ho Chi Minh City University of Technology (HCMUT), Vietnam. E-mail:\u00a0anhtt@hcmut.edu.vn","Security &\u00a0Trust, FBK-Irst, Trento, Italy. E-mail:\u00a0ranise@fbk.eu"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DISI, University of Trento, Italy","institution_ids":["https://openalex.org/I193223587"]},{"raw_affiliation_string":"Ho Chi Minh City University of Technology (HCMUT), Vietnam. E-mail:\u00a0","institution_ids":["https://openalex.org/I4210148201","https://openalex.org/I47265099"]},{"raw_affiliation_string":"Security &\u00a0Trust, FBK-Irst, Trento, Italy. E-mail:\u00a0","institution_ids":["https://openalex.org/I4210090861"]},{"raw_affiliation_string":"Ho Chi Minh City University of Technology (HCMUT), Vietnam. E-mail:\u00a0anhtt@hcmut.edu.vn","institution_ids":["https://openalex.org/I47265099"]},{"raw_affiliation_string":"Security &\u00a0Trust, FBK-Irst, Trento, Italy. E-mail:\u00a0ranise@fbk.eu","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101515402","display_name":"Luca Vigan\u00f2","orcid":"https://orcid.org/0000-0001-9916-271X"},"institutions":[{"id":"https://openalex.org/I164213776","display_name":"King's College - North Carolina","ror":"https://ror.org/022f44628","country_code":"US","type":"education","lineage":["https://openalex.org/I164213776"]},{"id":"https://openalex.org/I183935753","display_name":"King's College London","ror":"https://ror.org/0220mzb33","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I183935753"]},{"id":"https://openalex.org/I4210119896","display_name":"King's College School","ror":"https://ror.org/02bbqcn27","country_code":"GB","type":"education","lineage":["https://openalex.org/I4210119896"]}],"countries":["GB","US"],"is_corresponding":false,"raw_author_name":"Luca Vigan\u00f2","raw_affiliation_strings":["Department of Informatics, King\u2019s College London, United Kingdom. E-mail:\u00a0","Department of Informatics, King\u2019s College London, United Kingdom. E-mail:\u00a0luca.vigano@kcl.ac.uk"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Informatics, King\u2019s College London, United Kingdom. E-mail:\u00a0","institution_ids":["https://openalex.org/I164213776","https://openalex.org/I183935753","https://openalex.org/I4210119896"]},{"raw_affiliation_string":"Department of Informatics, King\u2019s College London, United Kingdom. E-mail:\u00a0luca.vigano@kcl.ac.uk","institution_ids":["https://openalex.org/I183935753"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5047487115"],"corresponding_institution_ids":["https://openalex.org/I4210090861"],"apc_list":null,"apc_paid":null,"fwci":1.064,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.84284012,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"26","issue":"4","first_page":"423","last_page":"458"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.9998999834060669,"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.9998999834060669,"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/T11424","display_name":"Security and Verification in Computing","score":0.9884999990463257,"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/T10237","display_name":"Cryptography and Data Security","score":0.9858999848365784,"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/role-based-access-control","display_name":"Role-based access control","score":0.8240584135055542},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7979998588562012},{"id":"https://openalex.org/keywords/access-control","display_name":"Access control","score":0.6088529825210571},{"id":"https://openalex.org/keywords/enforcement","display_name":"Enforcement","score":0.6079248189926147},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.5971131324768066},{"id":"https://openalex.org/keywords/temporal-database","display_name":"Temporal database","score":0.5483010411262512},{"id":"https://openalex.org/keywords/security-policy","display_name":"Security policy","score":0.5377538204193115},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4442574977874756},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.4317009449005127},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.4186256527900696},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.41499099135398865},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.4105815589427948},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.36074763536453247},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.2338300347328186},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.22798457741737366},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.17178654670715332}],"concepts":[{"id":"https://openalex.org/C45567728","wikidata":"https://www.wikidata.org/wiki/Q1702839","display_name":"Role-based access control","level":3,"score":0.8240584135055542},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7979998588562012},{"id":"https://openalex.org/C527821871","wikidata":"https://www.wikidata.org/wiki/Q228502","display_name":"Access control","level":2,"score":0.6088529825210571},{"id":"https://openalex.org/C2779777834","wikidata":"https://www.wikidata.org/wiki/Q4202277","display_name":"Enforcement","level":2,"score":0.6079248189926147},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.5971131324768066},{"id":"https://openalex.org/C77277458","wikidata":"https://www.wikidata.org/wiki/Q1969246","display_name":"Temporal database","level":2,"score":0.5483010411262512},{"id":"https://openalex.org/C154908896","wikidata":"https://www.wikidata.org/wiki/Q2167404","display_name":"Security policy","level":2,"score":0.5377538204193115},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4442574977874756},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4317009449005127},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.4186256527900696},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.41499099135398865},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.4105815589427948},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.36074763536453247},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.2338300347328186},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.22798457741737366},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.17178654670715332},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","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":2,"locations":[{"id":"doi:10.3233/jcs-15756","is_oa":false,"landing_page_url":"https://doi.org/10.3233/jcs-15756","pdf_url":null,"source":{"id":"https://openalex.org/S106992369","display_name":"Journal of Computer Security","issn_l":"0926-227X","issn":["0926-227X","1875-8924"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Computer Security","raw_type":"journal-article"},{"id":"pmh:oai:iris.unitn.it:11572/332955","is_oa":false,"landing_page_url":"http://hdl.handle.net/11572/332955","pdf_url":null,"source":{"id":"https://openalex.org/S4306401913","display_name":"Institutional Research Information System (Universit\u00e0 degli Studi di Trento)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I193223587","host_organization_name":"University of Trento","host_organization_lineage":["https://openalex.org/I193223587"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":42,"referenced_works":["https://openalex.org/W131414521","https://openalex.org/W1484683107","https://openalex.org/W1515933843","https://openalex.org/W1518747853","https://openalex.org/W1548628436","https://openalex.org/W1553978749","https://openalex.org/W1585890653","https://openalex.org/W1610637918","https://openalex.org/W1752392398","https://openalex.org/W1967269525","https://openalex.org/W1977503349","https://openalex.org/W1997862012","https://openalex.org/W1998568597","https://openalex.org/W1999468161","https://openalex.org/W2004592797","https://openalex.org/W2008239401","https://openalex.org/W2015653806","https://openalex.org/W2026598756","https://openalex.org/W2036289808","https://openalex.org/W2053741629","https://openalex.org/W2058548074","https://openalex.org/W2076004681","https://openalex.org/W2077448915","https://openalex.org/W2080154162","https://openalex.org/W2101508170","https://openalex.org/W2101832655","https://openalex.org/W2105505307","https://openalex.org/W2113585531","https://openalex.org/W2129920522","https://openalex.org/W2131242159","https://openalex.org/W2137144647","https://openalex.org/W2137463924","https://openalex.org/W2138903568","https://openalex.org/W2141696417","https://openalex.org/W2143492458","https://openalex.org/W2152053098","https://openalex.org/W2159055115","https://openalex.org/W2164661256","https://openalex.org/W2166602595","https://openalex.org/W2171268563","https://openalex.org/W2270641486","https://openalex.org/W2713715416"],"related_works":["https://openalex.org/W2004929657","https://openalex.org/W1999512659","https://openalex.org/W1983842709","https://openalex.org/W2095612557","https://openalex.org/W2145228191","https://openalex.org/W2064622372","https://openalex.org/W4255302486","https://openalex.org/W2026598756","https://openalex.org/W2002831492","https://openalex.org/W2169354977"],"abstract_inverted_index":{"Temporal":[0],"role-based":[1,79],"access":[2,80],"control":[3,81],"models":[4],"support":[5],"the":[6,34,68,74,106,112,116,123],"specification":[7],"and":[8,19],"enforcement":[9],"of":[10,39,49,70,76,87,105,118,127],"several":[11],"temporal":[12,20,51,78,88,131],"constraints":[13],"on":[14],"role":[15,17,21,52,89,132],"enabling,":[16],"activation,":[18],"hierarchies":[22,53],"among":[23],"others.":[24],"In":[25],"this":[26],"paper,":[27],"we":[28],"define":[29],"three":[30],"mappings":[31,62,108],"that":[32,103],"preserve":[33],"solutions":[35],"to":[36,54,66,83],"a":[37,71,98],"class":[38],"policy":[40],"problems:":[41],"they":[42],"map":[43],"security":[44],"analysis":[45,75],"problems":[46,55],"in":[47,85],"presence":[48,86],"static":[50],"without":[56],"them.":[57],"We":[58,91],"show":[59],"how":[60],"our":[61,119],"can":[63],"be":[64],"used":[65],"extend":[67],"capabilities":[69],"tool":[72,125],"for":[73],"administrative":[77],"policies":[82],"reason":[84],"hierarchies.":[90,133],"carried":[92],"out":[93],"an":[94],"experimental":[95],"evaluation":[96],"with":[97,129],"prototype":[99],"implementation,":[100],"which":[101],"highlighted":[102],"one":[104],"proposed":[107],"behaves":[109],"better":[110],"than":[111],"other":[113],"two.":[114],"To":[115],"best":[117],"knowledge,":[120],"ours":[121],"is":[122],"first":[124],"capable":[126],"reasoning":[128],"(static)":[130]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2026-07-27T08:26:11.824852","created_date":"2025-10-10T00:00:00"}