{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,20]],"date-time":"2025-10-20T10:15:18Z","timestamp":1760955318878},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2011,9,18]],"date-time":"2011-09-18T00:00:00Z","timestamp":1316304000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/2.0"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Wireless Com Network"],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.1186\/1687-1499-2011-101","type":"journal-article","created":{"date-parts":[[2011,10,27]],"date-time":"2011-10-27T18:14:46Z","timestamp":1319739286000},"source":"Crossref","is-referenced-by-count":3,"title":["Inconsistency resolving of safety and utility in access control"],"prefix":"10.1186","volume":"2011","author":[{"given":"Jianfeng","family":"Lu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ruixuan","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jinwei","family":"Hu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dewu","family":"Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,9,18]]},"reference":[{"key":"101_CR1","first-page":"184","volume-title":"Proceedings of 8th IEEE Symposium on Security and Privacy (SP)","author":"DD Clark","year":"1987","unstructured":"Clark DD, Wilson DR: A comparison of commercial and military computer security policies. In Proceedings of 8th IEEE Symposium on Security and Privacy (SP). IEEE Computer Society Press, Oakland, California, USA; 1987:184-195."},{"issue":"3","key":"101_CR2","doi-asserted-by":"publisher","first-page":"474","DOI":"10.1145\/1066100.1066103","volume":"52","author":"N Li","year":"2005","unstructured":"Li N, Mitchell JC, Winsborough WH: Beyond proof-of-compliance: security analysis in trust management. J ACM 2005, 52(3):474-514. 10.1145\/1066100.1066103","journal-title":"J ACM"},{"issue":"4","key":"101_CR3","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1145\/1513601.1513602","volume":"12","author":"N Li","year":"2009","unstructured":"Li N, Tripunitara MV, Wang Q: Resiliency policies in access control. ACM Trans Inf Syst Secur 2009, 12(4):113-137.","journal-title":"ACM Trans Inf Syst Secur"},{"issue":"3","key":"101_CR4","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1587\/transinf.E93.D.491","volume":"E93-D","author":"R Li","year":"2010","unstructured":"Li R, Lu J, Lu Z, Ma X: Consistency checking of safety and availability in access control. IEICE Trans Inf Syst Soc 2010, E93-D(3):491-502. 10.1587\/transinf.E93.D.491","journal-title":"IEICE Trans Inf Syst Soc"},{"key":"101_CR5","first-page":"189","volume-title":"Proceedings of the 8th Symposium on Access Control Models and Technologies","author":"S Benferhat","year":"2003","unstructured":"Benferhat S, El Baida R, Cuppens F: A stratification-based approach for handling conflicts in access control. In Proceedings of the 8th Symposium on Access Control Models and Technologies. Villa Gallia, Como, Italy; 2003:189-195."},{"issue":"4","key":"101_CR6","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1145\/1187441.1187442","volume":"9","author":"N Li","year":"2006","unstructured":"Li N, Tripunitara MV: Security analysis in role-based access control. ACM Trans Info Sys Secur 2006, 9(4):391-420. 10.1145\/1187441.1187442","journal-title":"ACM Trans Info Sys Secur"},{"key":"101_CR7","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1093\/oso\/9780198537472.003.0009","volume-title":"Handbook of Logic in Artifical Intelligence and Logic Programming","author":"D Dubois","year":"1994","unstructured":"Dubois D, Lang J, Prade H: Possibilistic logic. In Handbook of Logic in Artifical Intelligence and Logic Programming. Volume 3. Oxford University Press, Oxford; 1994:439-513."},{"key":"101_CR8","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1007\/978-3-642-04474-8_32","volume-title":"Proceeding 12th Information Security Conference (ISC)","author":"J Lu","year":"2009","unstructured":"Lu J, Li R, Lu Z, Hu J, Ma X: Specification and enforcement of static separation-of-duty policies in usage control. In Proceeding 12th Information Security Conference (ISC). Pisa, Italy; 2009:403-410."},{"key":"101_CR9","volume-title":"SAT4J: A satisfiability library for Java","author":"D Le Berre","year":"2006","unstructured":"Le Berre D, project leader: SAT4J: A satisfiability library for Java.2006. [ http:\/\/www.sat4j.org\/ ]"},{"issue":"8","key":"101_CR10","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1145\/360303.360333","volume":"19","author":"MA Harrison","year":"1976","unstructured":"Harrison MA, Ruzzo WL, Ullman JD: Protection in operating systems. Commun ACM 1976, 19(8):461-471. 10.1145\/360303.360333","journal-title":"Commun ACM"},{"issue":"9","key":"101_CR11","doi-asserted-by":"publisher","first-page":"1278","DOI":"10.1109\/PROC.1975.9939","volume":"63","author":"JH Saltzer","year":"2005","unstructured":"Saltzer JH, Schroeder MD: The protection of information in computer systems. Proceed IEEE 2005, 63(9):1278-1308.","journal-title":"Proceed IEEE"},{"issue":"2","key":"101_CR12","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/2.485845","volume":"29","author":"R Sandhu","year":"1996","unstructured":"Sandhu R, Coyne E, Feinstein H, Youman C: Role-based access control models. Computer 1996, 29(2):38-47. 10.1109\/2.485845","journal-title":"Computer"},{"key":"101_CR13","first-page":"43","volume-title":"Proceedings 8th ACM Symposium on Access Control Models and Technologies (SACMAT)","author":"J Crampton","year":"2003","unstructured":"Crampton J: Specifying and enforcing constraints in role-based access control. In Proceedings 8th ACM Symposium on Access Control Models and Technologies (SACMAT). Villa Gallia, Como, Italy; 2003:43-50."},{"issue":"3","key":"101_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1379759.1379760","volume":"55","author":"N Li","year":"2008","unstructured":"Li N, Wang Q: Beyond separation of duty: an algebra for specifying high-level security policies. J ACM 2008, 55(3):1-46.","journal-title":"J ACM"},{"issue":"2","key":"101_CR15","first-page":"231","volume":"10","author":"N Li","year":"2007","unstructured":"Li N, Tripunitara MV, Bizri Z: On mutually exclusive roles and separation-of-duty. ACM Trans Info Syst Secur 2007, 10(2):231-272.","journal-title":"ACM Trans Info Syst Secur"},{"key":"101_CR16","first-page":"689","volume-title":"Proceedings of 14th European Symposium on Research in Computer Security","author":"L Chen","year":"2009","unstructured":"Chen L, Crampton J: Set covering problems in role-based access control. In Proceedings of 14th European Symposium on Research in Computer Security. Saint-Malo, France; 2009:689-704."},{"key":"101_CR17","first-page":"90","volume-title":"Proceedings 12th European Symposium on Research in Computer Security","author":"Q Wang","year":"2007","unstructured":"Wang Q, Li N: Satisfiability and resiliency in workflow systems. In Proceedings 12th European Symposium on Research in Computer Security. Dresden, Germany; 2007:90-105."},{"key":"101_CR18","first-page":"31","volume-title":"Proceedings of 18th IEEE Symposium on Security and Privacy (SP)","author":"S Jajodia","year":"1997","unstructured":"Jajodia S, Samarati P, Subrahmanian VS: A logical language for expressing authorizations. In Proceedings of 18th IEEE Symposium on Security and Privacy (SP). Oakland, California, USA; 1997:31-42."},{"issue":"1","key":"101_CR19","first-page":"14","volume":"22","author":"L Gong","year":"1996","unstructured":"Gong L, Qian X: Computational issues in secure interoperation. IEEE Trans Soft Eng 1996, 22(1):14-23.","journal-title":"IEEE Trans Soft Eng"},{"key":"101_CR20","volume-title":"Advanced Databases: Technology and Design","author":"E Ferrari","year":"2000","unstructured":"Ferrari E, Thuraisingham B: Secure database systems. In Advanced Databases: Technology and Design. Edited by: Diaz O, Piattini M. Artech House, London; 2000."},{"key":"101_CR21","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1145\/1750389.1750395","volume-title":"Proceedings of 9th Symposium on Identity and Trust on the Internet","author":"A Mohan","year":"2010","unstructured":"Mohan A, Blough DM: An attribute-based authorization policy framework with dynamic conflict resolution. In Proceedings of 9th Symposium on Identity and Trust on the Internet. New York, NY, USA; 2010:37-50."}],"container-title":["EURASIP Journal on Wireless Communications and Networking"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1186\/1687-1499-2011-101\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/1687-1499-2011-101.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/1687-1499-2011-101.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,14]],"date-time":"2024-04-14T06:21:26Z","timestamp":1713075686000},"score":1,"resource":{"primary":{"URL":"https:\/\/jwcn-eurasipjournals.springeropen.com\/articles\/10.1186\/1687-1499-2011-101"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9,18]]},"references-count":21,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2011,12]]}},"alternative-id":["101"],"URL":"https:\/\/doi.org\/10.1186\/1687-1499-2011-101","relation":{},"ISSN":["1687-1499"],"issn-type":[{"value":"1687-1499","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,9,18]]},"article-number":"101"}}