{"id":"https://openalex.org/W7164043561","doi":"https://doi.org/10.48550/arxiv.2606.08119","title":"Policy Description Language for Authorization using Logic-Based Programming","display_name":"Policy Description Language for Authorization using Logic-Based Programming","publication_year":2026,"publication_date":"2026-06-06","ids":{"openalex":"https://openalex.org/W7164043561","doi":"https://doi.org/10.48550/arxiv.2606.08119"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2606.08119","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.08119","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2606.08119","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5138210845","display_name":"Masaki Hashimoto","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hashimoto, Masaki","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070510958","display_name":"Mira Kim","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kim, Mira","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032684522","display_name":"Hidenori Tsuji","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tsuji, Hidenori","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5109122932","display_name":"Hidehiko Tanaka","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tanaka, Hidehiko","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":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.7705000042915344,"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.7705000042915344,"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.09350000321865082,"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/T12326","display_name":"Network Packet Processing and Optimization","score":0.03889999911189079,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/impossibility","display_name":"Impossibility","score":0.767300009727478},{"id":"https://openalex.org/keywords/access-control","display_name":"Access control","score":0.7103000283241272},{"id":"https://openalex.org/keywords/xacml","display_name":"XACML","score":0.6338000297546387},{"id":"https://openalex.org/keywords/authorization","display_name":"Authorization","score":0.6055999994277954},{"id":"https://openalex.org/keywords/security-policy","display_name":"Security policy","score":0.5228000283241272},{"id":"https://openalex.org/keywords/granularity","display_name":"Granularity","score":0.5009999871253967},{"id":"https://openalex.org/keywords/element","display_name":"Element (criminal law)","score":0.447299987077713},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.4172999858856201}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8238999843597412},{"id":"https://openalex.org/C2776261394","wikidata":"https://www.wikidata.org/wiki/Q315562","display_name":"Impossibility","level":2,"score":0.767300009727478},{"id":"https://openalex.org/C527821871","wikidata":"https://www.wikidata.org/wiki/Q228502","display_name":"Access control","level":2,"score":0.7103000283241272},{"id":"https://openalex.org/C2779886121","wikidata":"https://www.wikidata.org/wiki/Q288682","display_name":"XACML","level":3,"score":0.6338000297546387},{"id":"https://openalex.org/C108759981","wikidata":"https://www.wikidata.org/wiki/Q788590","display_name":"Authorization","level":2,"score":0.6055999994277954},{"id":"https://openalex.org/C154908896","wikidata":"https://www.wikidata.org/wiki/Q2167404","display_name":"Security policy","level":2,"score":0.5228000283241272},{"id":"https://openalex.org/C177774035","wikidata":"https://www.wikidata.org/wiki/Q1246948","display_name":"Granularity","level":2,"score":0.5009999871253967},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.49320000410079956},{"id":"https://openalex.org/C200288055","wikidata":"https://www.wikidata.org/wiki/Q2621792","display_name":"Element (criminal law)","level":2,"score":0.447299987077713},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4172999858856201},{"id":"https://openalex.org/C48814466","wikidata":"https://www.wikidata.org/wiki/Q1228590","display_name":"Discretionary access control","level":4,"score":0.34040001034736633},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.31200000643730164},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.29989999532699585},{"id":"https://openalex.org/C2779227376","wikidata":"https://www.wikidata.org/wiki/Q6505497","display_name":"Layer (electronics)","level":2,"score":0.2978000044822693},{"id":"https://openalex.org/C1304207","wikidata":"https://www.wikidata.org/wiki/Q7189582","display_name":"Physical access","level":3,"score":0.28200000524520874},{"id":"https://openalex.org/C86532276","wikidata":"https://www.wikidata.org/wiki/Q1184065","display_name":"Delegation","level":2,"score":0.2680000066757202},{"id":"https://openalex.org/C168297262","wikidata":"https://www.wikidata.org/wiki/Q6031182","display_name":"Information protection policy","level":2,"score":0.2667999863624573},{"id":"https://openalex.org/C121822524","wikidata":"https://www.wikidata.org/wiki/Q5157582","display_name":"Computer security model","level":2,"score":0.25929999351501465},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.25290000438690186}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2606.08119","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.08119","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2606.08119","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.08119","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.8032357096672058,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Recently,":[0],"with":[1],"the":[2,6,15,18,22,26,30,66,93,112,117,127,133,136],"impossibility":[3],"of":[4,8,17,86,96,103,119,135],"eradicating":[5],"vulnerabilities":[7],"information":[9],"systems,":[10],"we":[11,75,115,131],"must":[12],"prepare":[13],"for":[14,88],"occurrence":[16],"security":[19],"incident":[20],"by":[21,139],"multi-layer":[23,31,128],"defense":[24],"called":[25],"Defense-in-Depth":[27],"strategy.":[28],"In":[29,72],"defense,":[32,129],"it":[33,108],"is":[34,122],"important":[35],"to":[36,42,54],"authorize":[37],"accesses":[38],"in":[39,69,109],"fine-grained":[40],"granularity":[41],"compose":[43,116],"each":[44],"layer":[45],"effectively,":[46],"and":[47,106,130,143],"many":[48,84],"access":[49,89],"control":[50],"models":[51,67],"are":[52],"proposed":[53,61,113,137],"follow":[55],"them.":[56],"However,":[57],"policy":[58,78,118],"description":[59,79],"languages":[60],"so":[62],"far":[63],"cannot":[64],"express":[65],"appropriately":[68],"proper":[70],"granularity.":[71],"this":[73],"paper,":[74],"propose":[76],"a":[77,123],"language":[80,138],"which":[81,121],"can":[82],"designate":[83],"kinds":[85],"conditions":[87],"control,":[90],"such":[91],"as":[92,100],"dynamic":[94],"status":[95],"an":[97,101],"application":[98],"process,":[99],"element":[102],"decision":[104],"data,":[105],"implement":[107],"Datalog.":[110],"Using":[111],"language,":[114],"SELinux,":[120],"major":[124],"implementation":[125],"achieving":[126],"confirm":[132],"advantages":[134],"evaluating":[140],"its":[141],"validity":[142],"expressiveness.":[144]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-06-10T00:00:00"}