{"id":"https://openalex.org/W2140730933","doi":"https://doi.org/10.1145/1952982.1952991","title":"Access control via belnap logic","display_name":"Access control via belnap logic","publication_year":2011,"publication_date":"2011-05-01","ids":{"openalex":"https://openalex.org/W2140730933","doi":"https://doi.org/10.1145/1952982.1952991","mag":"2140730933"},"language":"en","primary_location":{"id":"doi:10.1145/1952982.1952991","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1952982.1952991","pdf_url":null,"source":{"id":"https://openalex.org/S2642811","display_name":"ACM Transactions on Information and System Security","issn_l":"1094-9224","issn":["1094-9224","1557-7406"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Information and System 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/A5024448854","display_name":"Glenn Bruns","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Glenn Bruns","raw_affiliation_strings":["Bell Laboratories, Alcatel-Lucent, Naperville, IL"],"affiliations":[{"raw_affiliation_string":"Bell Laboratories, Alcatel-Lucent, Naperville, IL","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5105928180","display_name":"Michael Huth","orcid":"https://orcid.org/0000-0001-9229-3055"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Michael Huth","raw_affiliation_strings":["Imperial College London, London, UK","#N#Imperial College London, London, UK"],"affiliations":[{"raw_affiliation_string":"Imperial College London, London, UK","institution_ids":["https://openalex.org/I47508984"]},{"raw_affiliation_string":"#N#Imperial College London, London, UK","institution_ids":["https://openalex.org/I47508984"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5024448854"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":21.118,"has_fulltext":false,"cited_by_count":47,"citation_normalized_percentile":{"value":0.99218792,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"14","issue":"1","first_page":"1","last_page":"27"},"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9958000183105469,"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/T10028","display_name":"Topic Modeling","score":0.9853000044822693,"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.8370628356933594},{"id":"https://openalex.org/keywords/access-control","display_name":"Access control","score":0.7389243245124817},{"id":"https://openalex.org/keywords/role-based-access-control","display_name":"Role-based access control","score":0.602939784526825},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.5369396805763245},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5212001204490662},{"id":"https://openalex.org/keywords/security-policy","display_name":"Security policy","score":0.5080585479736328},{"id":"https://openalex.org/keywords/discretionary-access-control","display_name":"Discretionary access control","score":0.4296817481517792},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.42880070209503174},{"id":"https://openalex.org/keywords/predicate-logic","display_name":"Predicate logic","score":0.41425469517707825},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.3956202268600464},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.2322489619255066}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8370628356933594},{"id":"https://openalex.org/C527821871","wikidata":"https://www.wikidata.org/wiki/Q228502","display_name":"Access control","level":2,"score":0.7389243245124817},{"id":"https://openalex.org/C45567728","wikidata":"https://www.wikidata.org/wiki/Q1702839","display_name":"Role-based access control","level":3,"score":0.602939784526825},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.5369396805763245},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5212001204490662},{"id":"https://openalex.org/C154908896","wikidata":"https://www.wikidata.org/wiki/Q2167404","display_name":"Security policy","level":2,"score":0.5080585479736328},{"id":"https://openalex.org/C48814466","wikidata":"https://www.wikidata.org/wiki/Q1228590","display_name":"Discretionary access control","level":4,"score":0.4296817481517792},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.42880070209503174},{"id":"https://openalex.org/C19689857","wikidata":"https://www.wikidata.org/wiki/Q4055684","display_name":"Predicate logic","level":3,"score":0.41425469517707825},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.3956202268600464},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.2322489619255066}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1952982.1952991","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1952982.1952991","pdf_url":null,"source":{"id":"https://openalex.org/S2642811","display_name":"ACM Transactions on Information and System Security","issn_l":"1094-9224","issn":["1094-9224","1557-7406"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Information and System Security","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.7599999904632568,"display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G4118489167","display_name":null,"funder_award_id":"244901","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4434595188","display_name":null,"funder_award_id":"EP/E028985/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":52,"referenced_works":["https://openalex.org/W9614445","https://openalex.org/W113529894","https://openalex.org/W136232721","https://openalex.org/W153093637","https://openalex.org/W1483568252","https://openalex.org/W1487409515","https://openalex.org/W1492689271","https://openalex.org/W1520331889","https://openalex.org/W1526098002","https://openalex.org/W1544658515","https://openalex.org/W1967951878","https://openalex.org/W1981023347","https://openalex.org/W1987339920","https://openalex.org/W1995375207","https://openalex.org/W1997862012","https://openalex.org/W2001805670","https://openalex.org/W2012419258","https://openalex.org/W2020992910","https://openalex.org/W2052363833","https://openalex.org/W2057345152","https://openalex.org/W2069491156","https://openalex.org/W2069728203","https://openalex.org/W2084788336","https://openalex.org/W2093713825","https://openalex.org/W2097723210","https://openalex.org/W2103317919","https://openalex.org/W2103953153","https://openalex.org/W2107806048","https://openalex.org/W2119028688","https://openalex.org/W2121924306","https://openalex.org/W2124697609","https://openalex.org/W2127672407","https://openalex.org/W2129920522","https://openalex.org/W2131903956","https://openalex.org/W2135665381","https://openalex.org/W2141704790","https://openalex.org/W2155322595","https://openalex.org/W2191303037","https://openalex.org/W2318746284","https://openalex.org/W2479567345","https://openalex.org/W2492526546","https://openalex.org/W2499382624","https://openalex.org/W2501499209","https://openalex.org/W2504690097","https://openalex.org/W2915635235","https://openalex.org/W4240166417","https://openalex.org/W4252557899","https://openalex.org/W6600386668","https://openalex.org/W6629149434","https://openalex.org/W6631080269","https://openalex.org/W6675350323","https://openalex.org/W7048190923"],"related_works":["https://openalex.org/W2148952798","https://openalex.org/W2382286253","https://openalex.org/W2105261429","https://openalex.org/W3138978413","https://openalex.org/W2387530238","https://openalex.org/W318167434","https://openalex.org/W2358662376","https://openalex.org/W1993439489","https://openalex.org/W2389642126","https://openalex.org/W1551551661"],"abstract_inverted_index":{"Access":[0],"control":[1],"to":[2,10,41,44,71,127,155],"IT":[3],"systems":[4],"increasingly":[5],"relies":[6],"on":[7,55,101,109,161],"the":[8,82,86,102,115,121,150,156],"ability":[9],"compose":[11],"policies.":[12],"Hence":[13],"there":[14],"is":[15,24,61,144],"benefit":[16],"in":[17,131],"any":[18],"framework":[19,53],"for":[20,135],"policy":[21,60,94,133,153,172,175,185],"composition":[22,98],"that":[23,67],"intuitive,":[25],"formal":[26],"(and":[27],"so":[28],"\u201canalyzable\u201d":[29],"and":[30,38,117,173,177,180],"\u201cimplementable\u201d),":[31],"expressive,":[32],"independent":[33],"of":[34,85,104,120,149,152,158,183],"specific":[35],"application":[36],"domains,":[37],"yet":[39],"able":[40],"be":[42,140],"extended":[43],"create":[45],"domain-specific":[46,179],"instances.":[47],"Here":[48],"we":[49],"develop":[50],"such":[51],"a":[52,64,128,147],"based":[54,100],"Belnap":[56,87,105,122],"logic.":[57,106],"An":[58],"access-control":[59,93],"interpreted":[62],"as":[63],"four-valued":[65],"predicate":[66],"maps":[68],"access":[69,164],"requests":[70],"either":[72],"grant":[73],",":[74,76,78],"deny":[75],"conflict":[77,137],"or":[79],"unspecified":[80],"--":[81],"four":[83],"values":[84],"bilattice.":[88,123],"We":[89,166],"define":[90],"an":[91],"expressive":[92],"language":[95,130],"PBel,":[96],"having":[97],"operators":[99,103],"Natural":[107],"orderings":[108,119,125],"policies":[110],"are":[111],"obtained":[112],"by":[113],"lifting":[114],"truth":[116],"information":[118],"These":[124],"lead":[126],"query":[129],"which":[132],"analyses,":[134],"example,":[136],"freedom,":[138],"can":[139],"specified.":[141],"Policy":[142],"analysis":[143],"supported":[145],"through":[146,170],"reduction":[148],"validity":[151,157],"queries":[154],"propositional":[159],"formulas":[160],"predicates":[162],"over":[163],"requests.":[165],"evaluate":[167],"our":[168,184],"approach":[169],"firewall":[171],"RBAC":[174],"examples,":[176],"discuss":[178],"generic":[181],"extensions":[182],"language.":[186]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":8},{"year":2014,"cited_by_count":7},{"year":2013,"cited_by_count":11},{"year":2012,"cited_by_count":5}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}