{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:20:31Z","timestamp":1750306831268,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":8,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,3,3]],"date-time":"2014-03-03T00:00:00Z","timestamp":1393804800000},"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":[[2014,3,3]]},"DOI":"10.1145\/2557547.2557581","type":"proceedings-article","created":{"date-parts":[[2014,2,25]],"date-time":"2014-02-25T13:21:11Z","timestamp":1393334471000},"page":"139-142","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Consistency checking in access control"],"prefix":"10.1145","author":[{"given":"Anja","family":"Remshagen","sequence":"first","affiliation":[{"name":"University of West Georgia, Carrollton, GA, USA"}]},{"given":"Li","family":"Yang","sequence":"additional","affiliation":[{"name":"University of West Georgia, Carrollton, GA, USA"}]}],"member":"320","published-online":{"date-parts":[[2014,3,3]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proceedings of SAT Challenge 2012: Solver and Benchmark Descriptions, Department of Computer Science Series of Publications B","volume":"2","author":"Balint A.","year":"2012"},{"key":"e_1_3_2_1_2_1","unstructured":"Biere A. Heule M. Van Maaren H. Walsh T. 2009. Handbook of Satisfiability. Frontiers in Artificial Intelligence and Applications 185. IOS Press.   Biere A. Heule M. Van Maaren H. Walsh T. 2009. Handbook of Satisfiability. Frontiers in Artificial Intelligence and Applications 185. IOS Press."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-006-0023-0"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/501978.501980"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1805974.1805980"},{"volume-title":"12th European Symposium On Research In Computer Security, (Dresden, Germany, September 24 - 26, 2007). ESORICS 2007. 72--89","author":"Ni Q.","key":"e_1_3_2_1_6_1"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.485845"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Tseitin G. S. 1968. On the complexity of derivation in propositional calculus. In Studies in Constructive Mathematics and Mathematical Logic Part II 115--125.  Tseitin G. S. 1968. On the complexity of derivation in propositional calculus. In Studies in Constructive Mathematics and Mathematical Logic Part II 115--125.","DOI":"10.1007\/978-1-4899-5327-8_25"}],"event":{"name":"CODASPY'14: Fourth ACM Conference on Data and Application Security and Privacy","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"],"location":"San Antonio Texas USA","acronym":"CODASPY'14"},"container-title":["Proceedings of the 4th ACM conference on Data and application security and privacy"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2557547.2557581","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2557547.2557581","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:09:50Z","timestamp":1750234190000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2557547.2557581"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,3,3]]},"references-count":8,"alternative-id":["10.1145\/2557547.2557581","10.1145\/2557547"],"URL":"https:\/\/doi.org\/10.1145\/2557547.2557581","relation":{},"subject":[],"published":{"date-parts":[[2014,3,3]]},"assertion":[{"value":"2014-03-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}