{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,14]],"date-time":"2026-09-14T20:53:43Z","timestamp":1789419223912,"version":"build-2803163510"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2005,11,18]],"date-time":"2005-11-18T00:00:00Z","timestamp":1132272000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Inf. Secur."],"published-print":{"date-parts":[[2006,7]]},"DOI":"10.1007\/s10207-005-0078-8","type":"journal-article","created":{"date-parts":[[2005,11,29]],"date-time":"2005-11-29T04:38:34Z","timestamp":1133239114000},"page":"145-165","source":"Crossref","is-referenced-by-count":5,"title":["PolicyUpdater: a system for dynamic access control"],"prefix":"10.1007","volume":"5","author":[{"given":"Vino Fernando","family":"Crescini","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yan","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,11,18]]},"reference":[{"issue":"11","key":"78_CR1","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J.F. Allen","year":"1983","unstructured":"Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832\u2013843 (1983)","journal-title":"Commun. ACM"},{"key":"78_CR2","unstructured":"Apache Software Foundation. Authentication, authorization and access control. Apache HTTP Server Version 2.1 Documentation, http:\/\/httpd.apache.org\/docs-2.1\/ (2004)"},{"key":"78_CR3","doi-asserted-by":"crossref","unstructured":"Bai, Y., Varadharajan, V.: On formal languages for sequences of authorization transformations. In: Proceedings of Safety, Reliability and Security of Computer Systems. Lecture Notes in Computer Science, vol. 1698, pp. 375\u2013384 (1999)","DOI":"10.1007\/3-540-48249-0_32"},{"issue":"3","key":"78_CR4","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1016\/S0169-023X(02)00194-5","volume":"45","author":"Y. Bai","year":"2003","unstructured":"Bai, Y., Varadharajan, V.: On transformation of authorization policies. Data Knowledge Eng. 45(3), 333\u2013357 (2003)","journal-title":"Data Knowledge Eng."},{"key":"78_CR5","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge, Representation, Reasoning and Declarative Problem Solving","author":"C. Baral","year":"2003","unstructured":"Baral, C.: Knowledge, Representation, Reasoning and Declarative Problem Solving, pp. 99\u2013100. Cambridge University Press, UK (2003)"},{"issue":"2\u20133","key":"78_CR6","doi-asserted-by":"crossref","first-page":"109","DOI":"10.3233\/JCS-2000-82-303","volume":"8","author":"E. Bertino","year":"2000","unstructured":"Bertino, E., Buccafurri, F., Ferrari, E., Rullo, P.: A logic-based approach for enforcing access control. J. Comput. Security 8(2\u20133), 109\u2013140 (2000)","journal-title":"J. Comput. Security"},{"key":"78_CR7","unstructured":"Bertino, E., Mileo, A., Provetti, A.: Policy monitoring with user-preferences in PDL. In: Proceedings of IJCAI-03 Workshop for Nonmonotonic Reasoning, Action and Change, pp. 37\u201344 (2003)"},{"key":"78_CR8","unstructured":"Chomicki, J., Lobo, J., Naqvi, S.: A logic programming approach to conflict resolution in policy management. In: Proceedings of KR2000, 7th International Conference on Principles of Knowledge Representation and Reasoning, pp. 121\u2013132 (2000)"},{"key":"78_CR9","doi-asserted-by":"crossref","unstructured":"Crescini, V.F., Zhang, Y.: A logic based approach for dynamic access control. In: Proceedings of the 17th Australian Joint Conference on Artificial Intelligence, vol. 3339, pp. 623\u2013635 (2004)","DOI":"10.1007\/978-3-540-30549-1_54"},{"key":"78_CR10","unstructured":"Crescini, V.F., Zhang, Y., Wang, W.: Web server authorisation with the policyupdater access control system. In: Proceedings of the 2004 IADIS WWW\/Internet Conference, vol. 2, pp. 945\u2013948 (2004)"},{"key":"78_CR11","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings of the Fifth International Conference on Logic Programming, pp. 1070\u20131080 (1998)"},{"key":"78_CR12","doi-asserted-by":"crossref","unstructured":"Halpern, J.Y., Weissman, V.: Using First-order logic to reason about policies. In: Proceedings of the 16th IEEE Computer Security Foundations Workshop, pp. 187\u2013201 (2003)","DOI":"10.1109\/CSFW.2003.1212713"},{"issue":"2","key":"78_CR13","doi-asserted-by":"crossref","first-page":"214","DOI":"10.1145\/383891.383894","volume":"29","author":"S. Jajodia","year":"2001","unstructured":"Jajodia, S., Samarati, P., Sapino, M.L., Subrahmanian, V.S.: Flexible support for multiple access control policies. ACM Trans. Database Syst. 29(2), 214\u2013260 (2001)","journal-title":"ACM Trans. Database Syst."},{"issue":"5","key":"78_CR14","doi-asserted-by":"crossref","first-page":"591","DOI":"10.1145\/876638.876639","volume":"50","author":"A. Krokhin","year":"2003","unstructured":"Krokhin, A., Jeavons, P., Jonsson, P.: Reasoning about temporal relations: the tractable subalgebras of Allen\u2019s interval algebra. J. ACM 50(5), 591\u2013640 (2003)","journal-title":"J. ACM"},{"key":"78_CR15","volume-title":"The Definitive Guide","author":"B. Laurie","year":"2003","unstructured":"Laurie, B., Laurie, P., Apache: The Definitive Guide, 3rd ed. O\u2019Reilly & Associates Inc., CA (2003)","edition":"3"},{"issue":"1","key":"78_CR16","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1145\/605434.605438","volume":"6","author":"N. Li","year":"2003","unstructured":"Li, N., Grosof, B.N., Feigenbaum, J.: Delegation logic: a logic-based approach to distributed authorization. ACM Trans. Inform. Syst. Security (TISSEC) 6(1), 128\u2013171 (2003)","journal-title":"ACM Trans. Inform. Syst. Security (TISSEC)"},{"key":"78_CR17","unstructured":"Lin, F., Zhao, X.: On odd and even cycles in normal logic programs. In: Proceedings of AAAI 19th National Conference on Artificial Intelligence and 16th Conference on Innovative Applications of Artificial Intelligence, p. 80 (2004)"},{"key":"78_CR18","unstructured":"Lobo, J., Bhatia, R., Naqvi, S.: A policy description language. In: Proceedings of AAAI 16th National Conference on Artificial Intelligence and 11th Conference on Innovative Applications of Artificial Intelligence, pp. 291\u2013298 (1999)"},{"key":"78_CR19","unstructured":"Network Working Group. HTTP 1.1 (RFC 2616). The Internet Society, ftp:\/\/ftp.isi.edu\/in-notes\/rfc2616.txt (1999)"},{"key":"78_CR20","first-page":"Basic","volume":"Authentication","author":"Network","year":"1999","unstructured":"Network Working Group. HTTP Authentication: Basic and Digest Access Authentication (RFC 2617). The Internet Society, ftp:\/\/ftp.isi.edu\/in-notes\/rfc2617.txt (1999)","journal-title":"HTTP"},{"key":"78_CR21","unstructured":"Simons, P.: Efficient implementation of the stable model semantics for normal logic programs. Research Reports Number A35, Helsinki University of Technology, http:\/\/www.tcs.hut.fi\/Publications\/reports\/A35.ps.Z (1995)"}],"container-title":["International Journal of Information Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10207-005-0078-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10207-005-0078-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10207-005-0078-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T07:01:22Z","timestamp":1559113282000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10207-005-0078-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,11,18]]},"references-count":21,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2006,7]]}},"alternative-id":["78"],"URL":"https:\/\/doi.org\/10.1007\/s10207-005-0078-8","relation":{},"ISSN":["1615-5262","1615-5270"],"issn-type":[{"value":"1615-5262","type":"print"},{"value":"1615-5270","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,11,18]]}}}