{"id":"https://openalex.org/W1971201840","doi":"https://doi.org/10.1145/1542207.1542211","title":"Safety in discretionary access control for logic-based publish-subscribe systems","display_name":"Safety in discretionary access control for logic-based publish-subscribe systems","publication_year":2009,"publication_date":"2009-06-03","ids":{"openalex":"https://openalex.org/W1971201840","doi":"https://doi.org/10.1145/1542207.1542211","mag":"1971201840"},"language":"en","primary_location":{"id":"doi:10.1145/1542207.1542211","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1542207.1542211","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 14th ACM symposium on Access control models and technologies","raw_type":"proceedings-article"},"type":"conference-paper","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/A5050712667","display_name":"Kazuhiro Minami","orcid":"https://orcid.org/0000-0003-4058-1762"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kazuhiro Minami","raw_affiliation_strings":["University of Illinois at Urbana-Champaign, Urbana, IL, USA","University of Illinois at Urbana/Champaign, Urbana, IL, USA#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign, Urbana, IL, USA","institution_ids":["https://openalex.org/I157725225"]},{"raw_affiliation_string":"University of Illinois at Urbana/Champaign, Urbana, IL, USA#TAB#","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024942018","display_name":"Nikita Borisov","orcid":"https://orcid.org/0000-0002-7769-4931"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Nikita Borisov","raw_affiliation_strings":["University of Illinois at Urbana-Champaign, Urbana, IL, USA","University of Illinois at Urbana/Champaign, Urbana, IL, USA#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign, Urbana, IL, USA","institution_ids":["https://openalex.org/I157725225"]},{"raw_affiliation_string":"University of Illinois at Urbana/Champaign, Urbana, IL, USA#TAB#","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5031954035","display_name":"Carl A. Gunter","orcid":"https://orcid.org/0009-0006-6943-0684"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Carl A. Gunter","raw_affiliation_strings":["University of Illinois at Urbana-Champaign, Urbana, IL, Uae","University of Illinois at Urbana-Champaign, Urbana, IL, Uae#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign, Urbana, IL, Uae","institution_ids":["https://openalex.org/I157725225"]},{"raw_affiliation_string":"University of Illinois at Urbana-Champaign, Urbana, IL, Uae#TAB#","institution_ids":["https://openalex.org/I157725225"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I157725225"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"3","last_page":"12"},"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/T10237","display_name":"Cryptography and Data Security","score":0.9965000152587891,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9951000213623047,"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.840286910533905},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.6186971664428711},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.5551955103874207},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5487499833106995},{"id":"https://openalex.org/keywords/access-control","display_name":"Access control","score":0.5460971593856812},{"id":"https://openalex.org/keywords/publication","display_name":"Publication","score":0.5245813727378845},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.5146013498306274},{"id":"https://openalex.org/keywords/satisfiability-modulo-theories","display_name":"Satisfiability modulo theories","score":0.41871780157089233},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.41237831115722656},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4100835919380188},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3476022183895111},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.30952367186546326},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09950625896453857}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.840286910533905},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.6186971664428711},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.5551955103874207},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5487499833106995},{"id":"https://openalex.org/C527821871","wikidata":"https://www.wikidata.org/wiki/Q228502","display_name":"Access control","level":2,"score":0.5460971593856812},{"id":"https://openalex.org/C41458344","wikidata":"https://www.wikidata.org/wiki/Q732577","display_name":"Publication","level":2,"score":0.5245813727378845},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.5146013498306274},{"id":"https://openalex.org/C164155591","wikidata":"https://www.wikidata.org/wiki/Q2067766","display_name":"Satisfiability modulo theories","level":2,"score":0.41871780157089233},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.41237831115722656},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4100835919380188},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3476022183895111},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.30952367186546326},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09950625896453857},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C112698675","wikidata":"https://www.wikidata.org/wiki/Q37038","display_name":"Advertising","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/1542207.1542211","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1542207.1542211","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 14th ACM symposium on Access control models and technologies","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.189.2719","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.189.2719","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.uiuc.edu/homes/minami/papers/minami_sacmat09.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.308.6393","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.308.6393","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://hatswitch.org/~nikita/papers/pub-sub-safety-sacmat09.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7900000214576721,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W161350848","https://openalex.org/W1488499745","https://openalex.org/W1575597416","https://openalex.org/W2037231459","https://openalex.org/W2053741629","https://openalex.org/W2095929549","https://openalex.org/W2096633006","https://openalex.org/W2111753337","https://openalex.org/W2113738519","https://openalex.org/W2117156405","https://openalex.org/W2120054852","https://openalex.org/W2131185826","https://openalex.org/W2133290650","https://openalex.org/W2139485958","https://openalex.org/W2142227551","https://openalex.org/W2149262924","https://openalex.org/W2151097384","https://openalex.org/W2157539922","https://openalex.org/W2163419627","https://openalex.org/W4214931895","https://openalex.org/W4300388644"],"related_works":["https://openalex.org/W3176904788","https://openalex.org/W2578463151","https://openalex.org/W21597398","https://openalex.org/W1505872263","https://openalex.org/W4298153058","https://openalex.org/W2408080066","https://openalex.org/W2268872489","https://openalex.org/W1913543287","https://openalex.org/W2014111643","https://openalex.org/W2963044240"],"abstract_inverted_index":{"Publish-subscribe":[0],"(pub-sub)":[1],"systems":[2],"are":[3,68],"useful":[4],"for":[5,75],"many":[6],"applications,":[7],"including":[8],"pervasive":[9],"environments.":[10],"In":[11],"the":[12,23,105,114],"latter":[13],"context,":[14],"however,":[15,119],"great":[16],"care":[17],"must":[18],"be":[19,88,125,133],"taken":[20],"to":[21,70,127],"preserve":[22],"privacy":[24],"of":[25,97,107,121],"sensitive":[26,52],"information,":[27],"such":[28,100],"as":[29,79,81],"users'":[30],"location":[31],"and":[32],"activities.":[33],"Traditional":[34],"access":[35],"control":[36],"schemes":[37],"provide":[38,93],"at":[39],"best":[40],"a":[41,55,61,94,101,128,137],"partial":[42],"solution,":[43],"since":[44],"they":[45],"do":[46],"not":[47],"capture":[48],"potential":[49],"inference":[50,66],"regarding":[51,90],"data":[53],"that":[54,86,103,113,131],"subscriber":[56],"may":[57],"make.":[58],"We":[59,92,111],"propose":[60],"logic-based":[62],"pub-sub":[63],"system,":[64],"where":[65],"rules":[67],"used":[69],"both":[71],"derive":[72],"high-level":[73],"events":[74],"use":[76],"in":[77,99],"applications":[78],"well":[80],"specify":[82],"potentially":[83],"harmful":[84],"inferences":[85],"could":[87],"made":[89],"data.":[91],"formal":[95],"definition":[96],"safety":[98,115],"system":[102],"captures":[104],"possibility":[106],"indirect":[108],"information":[109],"flows.":[110],"show":[112],"problem":[116,130],"is":[117],"co-NP-complete;":[118],"problems":[120],"realistic":[122],"size":[123],"can":[124,132],"reduced":[126],"satisfiability":[129],"efficiently":[134],"decided":[135],"by":[136],"SAT":[138],"solver.":[139]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}