{"id":"https://openalex.org/W2613456208","doi":"https://doi.org/10.29007/q916","title":"A Comprehensive Formal Solution for Access Control Policies Management: Defect Detection, Analysis and Risk Assessment","display_name":"A Comprehensive Formal Solution for Access Control Policies Management: Defect Detection, Analysis and Risk Assessment","publication_year":2018,"publication_date":"2018-01-23","ids":{"openalex":"https://openalex.org/W2613456208","doi":"https://doi.org/10.29007/q916","mag":"2613456208"},"language":"en","primary_location":{"id":"doi:10.29007/q916","is_oa":true,"landing_page_url":"https://doi.org/10.29007/q916","pdf_url":"https://easychair.org/publications/open/F3","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://easychair.org/publications/open/F3","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5002514441","display_name":"Faouzi Ja\u00efdi","orcid":"https://orcid.org/0000-0001-5893-5296"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Faouzi Jaidi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003589051","display_name":"Faten Labbene Ayachi","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Faten Labbene Ayachi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5107395150","display_name":"Adel Bouhoula","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Adel Bouhoula","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.7563,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.87781629,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"45","issue":null,"first_page":"120","last_page":"106"},"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.9988999962806702,"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.9921000003814697,"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/computer-science","display_name":"Computer science","score":0.6956419944763184},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6918626427650452},{"id":"https://openalex.org/keywords/access-control","display_name":"Access control","score":0.6832817792892456},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.6429412364959717},{"id":"https://openalex.org/keywords/risk-analysis","display_name":"Risk analysis (engineering)","score":0.5603529810905457},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.551945686340332},{"id":"https://openalex.org/keywords/rotation-formalisms-in-three-dimensions","display_name":"Rotation formalisms in three dimensions","score":0.5282805562019348},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.4796881377696991},{"id":"https://openalex.org/keywords/risk-management","display_name":"Risk management","score":0.4452558159828186},{"id":"https://openalex.org/keywords/relevance","display_name":"Relevance (law)","score":0.4253581166267395},{"id":"https://openalex.org/keywords/process-management","display_name":"Process management","score":0.36591970920562744},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.17270398139953613},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09777551889419556}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6956419944763184},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6918626427650452},{"id":"https://openalex.org/C527821871","wikidata":"https://www.wikidata.org/wiki/Q228502","display_name":"Access control","level":2,"score":0.6832817792892456},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.6429412364959717},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.5603529810905457},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.551945686340332},{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.5282805562019348},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4796881377696991},{"id":"https://openalex.org/C32896092","wikidata":"https://www.wikidata.org/wiki/Q189447","display_name":"Risk management","level":2,"score":0.4452558159828186},{"id":"https://openalex.org/C158154518","wikidata":"https://www.wikidata.org/wiki/Q7310970","display_name":"Relevance (law)","level":2,"score":0.4253581166267395},{"id":"https://openalex.org/C195094911","wikidata":"https://www.wikidata.org/wiki/Q14167904","display_name":"Process management","level":1,"score":0.36591970920562744},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.17270398139953613},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09777551889419556},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.29007/q916","is_oa":true,"landing_page_url":"https://doi.org/10.29007/q916","pdf_url":"https://easychair.org/publications/open/F3","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.29007/q916","is_oa":true,"landing_page_url":"https://doi.org/10.29007/q916","pdf_url":"https://easychair.org/publications/open/F3","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.5799999833106995,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2613456208.pdf","grobid_xml":"https://content.openalex.org/works/W2613456208.grobid-xml"},"referenced_works_count":22,"referenced_works":["https://openalex.org/W745904558","https://openalex.org/W1512255261","https://openalex.org/W1517275102","https://openalex.org/W1963887709","https://openalex.org/W1986989788","https://openalex.org/W1997888312","https://openalex.org/W2022901032","https://openalex.org/W2029407716","https://openalex.org/W2067106503","https://openalex.org/W2070493828","https://openalex.org/W2077410855","https://openalex.org/W2082554729","https://openalex.org/W2092064278","https://openalex.org/W2124511523","https://openalex.org/W2134641111","https://openalex.org/W2163283609","https://openalex.org/W2166602595","https://openalex.org/W2294019497","https://openalex.org/W2529477109","https://openalex.org/W3144214068","https://openalex.org/W4237164190","https://openalex.org/W4242635839"],"related_works":["https://openalex.org/W57206970","https://openalex.org/W4235091896","https://openalex.org/W2185981755","https://openalex.org/W2023896637","https://openalex.org/W2498253392","https://openalex.org/W2996527951","https://openalex.org/W1532035848","https://openalex.org/W2121924470","https://openalex.org/W3196191855","https://openalex.org/W1667647204"],"abstract_inverted_index":{"Nowadays,":[0],"the":[1,40,61,90,120,139,143,165,168,181,184],"access":[2,34,44,110,125],"control":[3,35,45,111,126],"is":[4,48,63,151],"becoming":[5],"increasingly":[6],"important":[7],"for":[8,103],"open,":[9],"ubiquitous":[10],"and":[11,21,29,76,85,100,106,128,137,167],"criti-":[12],"cal":[13],"systems.":[14],"Nonetheless,":[15],"efficient":[16,105],"Administration,":[17],"Management,":[18],"Safety":[19],"analysis":[20,58],"Risk":[22],"assessment":[23],"(AMSR)":[24],"are":[25],"recognized":[26],"as":[27],"fundamental":[28],"crucial":[30,84],"challenges":[31],"in":[32,130],"todays":[33],"infrastructures.":[36],"In":[37],"untrustworthy":[38],"environment,":[39],"administration":[41,62],"of":[42,109,123,148,170,183],"an":[43,104,124,131,177],"policy,":[46],"which":[47],"a":[49,56,98,116,160],"main":[50],"secu-":[51],"rity":[52],"aspect,":[53],"generally":[54],"raises":[55],"critical":[57],"problem":[59],"when":[60],"distributed":[64],"and/or":[65],"potentially":[66],"un-trusted":[67],"users":[68],"contribute":[69],"to":[70,82,88,134,142,158,179],"this":[71,94],"process.":[72],"Consequently,":[73],"collusions":[74],"attempts":[75],"inner":[77],"threats":[78],"may":[79],"take":[80],"place":[81],"generate":[83],"invisible":[86],"breaches":[87],"circumvent":[89],"policy.":[91],"To":[92],"address":[93],"issue,":[95],"we":[96],"introduce":[97],"rigorous":[99],"comprehensive":[101],"solution":[102],"secure":[107],"management":[108],"policies.":[112],"Our":[113],"proposal":[114,150],"gives":[115],"high":[117,161],"visibility":[118],"on":[119,155,176],"development":[121],"process":[122],"policy":[127,144],"allows":[129],"elegant":[132],"manner":[133],"detect,":[135],"analyze":[136],"assess":[138],"risk":[140],"associated":[141],"defects.":[145],"The":[146],"strength":[147],"our":[149,171],"that":[152],"it":[153],"relies":[154],"logic-like":[156],"formalisms":[157],"ensure":[159],"surety":[162],"by":[163],"verifying":[164],"correctness":[166],"completeness":[169],"formal":[172],"reasoning.":[173],"We":[174],"rely":[175],"example":[178],"illustrate":[180],"relevance":[182],"proposal.":[185]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}