{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,23]],"date-time":"2024-12-23T00:40:10Z","timestamp":1734914410059,"version":"3.32.0"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2005,2,1]],"date-time":"2005-02-01T00:00:00Z","timestamp":1107216000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IJIS"],"published-print":{"date-parts":[[2005,2]]},"DOI":"10.1007\/s10207-004-0069-1","type":"journal-article","created":{"date-parts":[[2005,2,2]],"date-time":"2005-02-02T12:26:42Z","timestamp":1107347202000},"page":"120-131","source":"Crossref","is-referenced-by-count":0,"title":["On the sequence of authorization policy transformations"],"prefix":"10.1007","volume":"4","author":[{"given":"Yun","family":"Bai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yan","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vijay","family":"Varadharajan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,2,1]]},"reference":[{"key":"69_CR1","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1145\/504909.504912","volume":"5","author":"Atluri","year":"2002","unstructured":"Atluri V, Gal A (2002) An authorization model for temporal and derived data: securing information portals. ACM Trans Inf Syst Secur 5(1):62\u201394","journal-title":"ACM Trans Inf Syst Secur"},{"key":"69_CR2","doi-asserted-by":"crossref","unstructured":"Bai Y, Varadharajan V (2002) Object oriented database with authorization policies. J Fundament Inf 53(3\u20134):229\u2013250","DOI":"10.3233\/FUN-2002-533-402"},{"key":"69_CR3","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1016\/S0169-023X(02)00194-5","volume":"45","author":"Bai","year":"2003","unstructured":"Bai Y, Varadharajan V (2003) On transformation of authorization policies. Data Knowl Eng 45(3):333\u2013357","journal-title":"Data Knowl Eng"},{"key":"69_CR4","doi-asserted-by":"crossref","unstructured":"Bertino E, Buccafurri F, Ferrari E, Rullo P (2000) A logic-based approach for enforcing access control. Comput Secur 8(2\u20132):109\u2013140","DOI":"10.3233\/JCS-2000-82-303"},{"key":"69_CR5","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1145\/605434.605437","volume":"6","author":"Bertino","year":"2003","unstructured":"Bertino E, Catania B, Ferrari E, Perlasca P (2003) A logical framework for reasoning about access control models. ACM Trans Inf Syst Secur 6(1):71\u2013127","journal-title":"ACM Trans Inf Syst Secur"},{"key":"69_CR6","doi-asserted-by":"crossref","unstructured":"Bertino E, Jajodia S, Samarati P (1996) Supporting multiple access control policies in database systems. In: Proceedings of the IEEE symposium on research in security and privacy, pp 94\u2013107","DOI":"10.1109\/SECPRI.1996.502673"},{"key":"69_CR7","unstructured":"Bertino E, Mileo A, Provetti A (2003) Policy monitoring with user-preferences in PDL. In: Proceedings of the IJCAI-03 workshop for nonmonotonic reasoning, action and change, pp 37\u201344"},{"key":"69_CR8","doi-asserted-by":"crossref","unstructured":"Brewer DFC, Nash MJ (1989) The Chinese wall security policy. In: Proceedings of the IEEE symposium on research in security and privacy, pp 215\u2013228","DOI":"10.1109\/SECPRI.1989.36295"},{"key":"69_CR9","unstructured":"Chomicki J, Lobo J, Naqvi S (2000) A logical programming approach to conflict resolution in policy management. In: Proceedings of the international conference on principles of knowledge representation and reasoning, pp 121\u2013132"},{"key":"69_CR10","unstructured":"Chou TSC, Winslett M (1991) Immortal: a model-based belief revision system. In: Proceedings of the international conference on principles of knowledge representation and reasoning, pp 99\u2013110"},{"key":"69_CR11","unstructured":"Crescini V, Zhang Y (2004) Web server authorization with policy updater: a logical based access control system. In: Proceedings of the IADIS international conference on WWW\/Internet (in press)"},{"key":"69_CR12","unstructured":"Crescini V, Zhang Y (2004) A logical based approach for dynamic access control. In: Proceedings of the 17th Australian joint conference on artificial intelligence, pp 623\u2013635"},{"key":"69_CR13","doi-asserted-by":"crossref","unstructured":"Dacier M, Deswarte Y (1994) Privilege graph: an extension to the typed access matrix model. In: Proceedings of the European symposium on research in computer security, pp 319\u2013334","DOI":"10.1007\/3-540-58618-0_72"},{"key":"69_CR14","doi-asserted-by":"crossref","first-page":"236","DOI":"10.1145\/360051.360056","volume":"19","author":"Denning","year":"1976","unstructured":"Denning DE (1976) A lattice model of secure information flow. Commun ACM 19:236\u2013243","journal-title":"Commun ACM"},{"key":"69_CR15","doi-asserted-by":"crossref","unstructured":"Fernandez EB, Gudes E, Song H (1989) A security model for object-oriented databases. In: Proceedings of the IEEE symposium on research in security and privacy, pp 110\u2013115","DOI":"10.1109\/SECPRI.1989.36285"},{"key":"69_CR16","unstructured":"Fernandez EB, France RB, Wei D (1995) A formal specification of an authorization model for object-oriented databases. In: Database Security, IX: Status and Prospects, pp 95\u2013109"},{"key":"69_CR17","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"Gelfond","year":"1991","unstructured":"Gelfond M, Lifschitz V (1991) Classical negation in logic programs and disjunctive databases. New Generat Comput 9:365\u2013385","journal-title":"New Generat Comput"},{"key":"69_CR18","doi-asserted-by":"crossref","unstructured":"Gong L (1989) A secure identity based capability system. In: Proceedings of the IEEE symposium on research in security and privacy, pp 56\u201363","DOI":"10.1109\/SECPRI.1989.36277"},{"key":"69_CR19","doi-asserted-by":"crossref","first-page":"214","DOI":"10.1145\/383891.383894","volume":"29","author":"Jajodia","year":"2001","unstructured":"Jajodia S, Samarati P, Sapino ML, Subrahmanian VS (2001) Flexible support for multiple access control policies. ACM Trans Database Syst 29(2):214\u2013260","journal-title":"ACM Trans Database Syst"},{"key":"69_CR20","doi-asserted-by":"crossref","unstructured":"Jajodia S, Samarati P, Subrahmanian VS (1997) A logical language for expressing authorizations. In: Proceedings of the IEEE symposium on research in security and privacy, pp 31\u201342","DOI":"10.1109\/SECPRI.1997.601312"},{"key":"69_CR21","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1145\/605434.605438","volume":"6","author":"Li","year":"2003","unstructured":"Li N, Grosof B, Feigenbaum J (2003) Delegation logic: a logic-based approach to distributed authorization. ACM Trans Inf Syst Secur 6(1):128\u2013171","journal-title":"ACM Trans Inf Syst Secur"},{"key":"69_CR22","unstructured":"Meadows C (1991) Policies for dynamic upgrading. In: Database Security, IV: Status and Prospects, pp 241\u2013250"},{"key":"69_CR23","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"Reiter","year":"1980","unstructured":"Reiter R (1980) A logic for default reasoning. Artif Intell 13:81\u2013132","journal-title":"Artif Intell"},{"key":"69_CR24","doi-asserted-by":"crossref","unstructured":"Sandhu RS, Ganta S (1994) On the minimality of testing for rights in transformation models. In: Proceedings of the IEEE symposium on research in security and privacy, pp 230\u2013241","DOI":"10.1109\/RISP.1994.296578"},{"key":"69_CR25","doi-asserted-by":"crossref","unstructured":"Woo TYC, Lam SS (1992) Authorization in distributed systems: a formal approach. In: Proceedings of the IEEE symposium on research in security and privacy, pp 33\u201350","DOI":"10.1109\/RISP.1992.213272"},{"key":"69_CR26","first-page":"183","volume":"14","author":"Zhang","year":"2001","unstructured":"Zhang Y, Wu CM, Bai Y (2001) Implementing prioritized logic programming. AI Commun 14(4):183\u2013196","journal-title":"AI Commun"}],"container-title":["International Journal of Information Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10207-004-0069-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10207-004-0069-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10207-004-0069-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,23]],"date-time":"2024-12-23T00:22:44Z","timestamp":1734913364000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10207-004-0069-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,2]]},"references-count":26,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2005,2]]}},"alternative-id":["69"],"URL":"https:\/\/doi.org\/10.1007\/s10207-004-0069-1","relation":{},"ISSN":["1615-5262","1615-5270"],"issn-type":[{"type":"print","value":"1615-5262"},{"type":"electronic","value":"1615-5270"}],"subject":[],"published":{"date-parts":[[2005,2]]}}}