{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:34:56Z","timestamp":1750307696862,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,6,3]],"date-time":"2009-06-03T00:00:00Z","timestamp":1243987200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,6,3]]},"DOI":"10.1145\/1542207.1542211","type":"proceedings-article","created":{"date-parts":[[2009,6,9]],"date-time":"2009-06-09T12:44:24Z","timestamp":1244551464000},"page":"3-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Safety in discretionary access control for logic-based publish-subscribe systems"],"prefix":"10.1145","author":[{"given":"Kazuhiro","family":"Minami","sequence":"first","affiliation":[{"name":"University of Illinois at Urbana-Champaign, Urbana, IL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nikita","family":"Borisov","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign, Urbana, IL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carl A.","family":"Gunter","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign, Urbana, IL, Uae"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,6,3]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Sat4j: Bringing the power of sat technology to the java platform http:\/\/www.sat4j.org\/.  Sat4j: Bringing the power of sat technology to the java platform http:\/\/www.sat4j.org\/."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/380749.380767"},{"key":"e_1_3_2_1_3_1","first-page":"246","volume-title":"Proceedings of the International Conference on Mobile and Ubiquitous Systems: Networking and Services","author":"Chen Guanling","year":"2004","unstructured":"Guanling Chen , Ming Li , and David Kotz . Design and implementation of a large-scale context fusion network . In Proceedings of the International Conference on Mobile and Ubiquitous Systems: Networking and Services , pages 246 -- 255 , August 2004 . Guanling Chen, Ming Li, and David Kotz. Design and implementation of a large-scale context fusion network. In Proceedings of the International Conference on Mobile and Ubiquitous Systems: Networking and Services, pages 246--255, August 2004."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1207\/S15327051HCI16234_02"},{"key":"e_1_3_2_1_5_1","volume-title":"From Theory to Practice","author":"Domingo-Ferrer Josep","year":"2002","unstructured":"Josep Domingo-Ferrer , editor. Inference Control in Statistical Databases , From Theory to Practice . Springer-Verlag , London, UK , 2002 . Josep Domingo-Ferrer, editor. Inference Control in Statistical Databases, From Theory to Practice. Springer-Verlag, London, UK, 2002."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/360303.360333"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/990064.990087"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/647987.741336"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2005.14"},{"key":"e_1_3_2_1_10_1","first-page":"123","volume-title":"Proceedings of the 2003 IEEE Symposium on Security and Privacy","author":"Li Ninghui","year":"2003","unstructured":"Ninghui Li , William H. Winsborough , and John C. Mitchell . Beyond proof-of-compliance: Safety and availability analysis in trust management . In Proceedings of the 2003 IEEE Symposium on Security and Privacy , page 123 , Washington, DC, USA , 2003 . IEEE Computer Society. Ninghui Li, William H. Winsborough, and John C. Mitchell. Beyond proof-of-compliance: Safety and availability analysis in trust management. In Proceedings of the 2003 IEEE Symposium on Security and Privacy, page 123, Washington, DC, USA, 2003. IEEE Computer Society."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/646854.707925"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-79576-6_1"},{"key":"e_1_3_2_1_13_1","first-page":"271","volume-title":"Proceedings of the international conference on Ubiquitous computing","author":"Patel Shwetak N.","year":"2007","unstructured":"Shwetak N. Patel , Thomas Robertson , Julie A. Kientz1, Matthew S. Reynolds1, and Gregory D. Abowd . At the flick of a switch: Detecting and classifying unique electrical events on the residential power line . In Proceedings of the international conference on Ubiquitous computing , pages 271 -- 288 , New York, NY, USA , 2007 . ACM. Shwetak N. Patel, Thomas Robertson, Julie A. Kientz1, Matthew S. Reynolds1, and Gregory D. Abowd. At the flick of a switch: Detecting and classifying unique electrical events on the residential power line. In Proceedings of the international conference on Ubiquitous computing, pages 271--288, New York, NY, USA, 2007. ACM."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/SAINT.2006.1"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/882488.884182"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/882490.884206"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/69.109108"},{"key":"e_1_3_2_1_18_1","first-page":"175","volume-title":"Proceedings of the National Computer Security Conference","author":"Sutherland David","year":"1986","unstructured":"David Sutherland . A model of information . In Proceedings of the National Computer Security Conference , pages 175 -- 183 , September 1986 . David Sutherland. A model of information. In Proceedings of the National Computer Security Conference, pages 175--183, September 1986."},{"key":"e_1_3_2_1_19_1","first-page":"147","volume-title":"Proceedings of the 2004 IEEE Symposium on Security and Privacy","author":"William","year":"2004","unstructured":"William H. Winsborough and Ninghui Li. Safety in automated trust negotiation . In Proceedings of the 2004 IEEE Symposium on Security and Privacy , pages 147 -- 160 . IEEE Computer Society , May 2004 . William H. Winsborough and Ninghui Li. Safety in automated trust negotiation. In Proceedings of the 2004 IEEE Symposium on Security and Privacy, pages 147--160. IEEE Computer Society, May 2004."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2006.32"}],"event":{"name":"SACMAT '09: 14th ACM Symposium on Access Control Models and Technologies","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control","ACM Association for Computing Machinery"],"location":"Stresa Italy","acronym":"SACMAT '09"},"container-title":["Proceedings of the 14th ACM symposium on Access control models and technologies"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1542207.1542211","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1542207.1542211","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:29:58Z","timestamp":1750253398000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1542207.1542211"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,6,3]]},"references-count":20,"alternative-id":["10.1145\/1542207.1542211","10.1145\/1542207"],"URL":"https:\/\/doi.org\/10.1145\/1542207.1542211","relation":{},"subject":[],"published":{"date-parts":[[2009,6,3]]},"assertion":[{"value":"2009-06-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}