{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:50:03Z","timestamp":1725562203807},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540212980"},{"type":"electronic","value":"9783540247272"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24727-2_32","type":"book-chapter","created":{"date-parts":[[2010,8,2]],"date-time":"2010-08-02T11:06:41Z","timestamp":1280747201000},"page":"453-467","source":"Crossref","is-referenced-by-count":18,"title":["Reasoning about Dynamic Policies"],"prefix":"10.1007","author":[{"given":"Riccardo","family":"Pucella","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vicky","family":"Weissman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"32_CR1","unstructured":"Chomicki, J., Lobo, J., Naqvi, S.: A logic programming approach to conflict resolution in policy management. In: Principles of Knowledge Representation and Reasoning: Proc. Ninth International Conference (KR 2000), pp. 121\u2013132 (2000)"},{"key":"32_CR2","unstructured":"ContentGuard. XrML: Extensible rights Markup Language (2001), Available from http:\/\/www.xrml.org"},{"key":"32_CR3","unstructured":"Csirmaz, L.: Multi-level permission. Technical Report 90-25, DIMACS (1990)"},{"key":"32_CR4","first-page":"95","volume-title":"Proceedings of the 2002 IEEE Symposium on Research in Security and Privacy","author":"J. DeTreville","year":"2002","unstructured":"DeTreville, J.: Binder, a logic-based security language. In: Proceedings of the 2002 IEEE Symposium on Research in Security and Privacy, pp. 95\u2013103. IEEE Computer Society Press, Los Alamitos (2002)"},{"issue":"2","key":"32_CR5","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/0022-0000(79)90046-1","volume":"18","author":"M.J. Fisher","year":"1979","unstructured":"Fisher, M.J., Ladner, R.E.: Propositional dynamic logic of regular programs. Journal of Computer and System Sciences\u00a018(2), 194\u2013211 (1979)","journal-title":"Journal of Computer and System Sciences"},{"key":"32_CR6","volume-title":"Database Systems: The Complete Book","author":"H. Garcia-Molina","year":"2002","unstructured":"Garcia-Molina, H., Ullman, J.D., Widom, J.: Database Systems: The Complete Book. Prentice-Hall, Englewood Cliffs (2002)"},{"issue":"3","key":"32_CR7","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1145\/146937.146940","volume":"10","author":"J. Glasgow","year":"1992","unstructured":"Glasgow, J., MacEwen, G., Panangaden, P.: A logic for reasoning about security. ACM Transactions on Computer Systems\u00a010(3), 226\u2013264 (1992)","journal-title":"ACM Transactions on Computer Systems"},{"key":"32_CR8","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1109\/CSFW.2003.1212713","volume-title":"Proceedings of the 16th IEEE Computer Security Foundations Workshop","author":"J.Y. Halpern","year":"2003","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. IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"32_CR9","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"D. Harel","year":"2000","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. The MIT Press, Cambridge (2000)"},{"key":"32_CR10","unstructured":"Hughes, G., Cresswell, M.: An Introduction to Modal Logic. Methuen (1972)"},{"key":"32_CR11","unstructured":"Iannella, R.: Open Digital Rights Language (ODRL) version 1.1, Available from http:\/\/www.w3.org\/TR\/odrl (2002)"},{"issue":"3\/4","key":"32_CR12","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/BF00962920","volume":"1","author":"Y. Ioannidis","year":"1992","unstructured":"Ioannidis, Y., Sellis, T.: Supporting inconsistent rules in database systems. Journal of Intelligent Information Systems\u00a01(3\/4), 243\u2013270 (1992)","journal-title":"Journal of Intelligent Information Systems"},{"issue":"2","key":"32_CR13","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1145\/383891.383894","volume":"26","author":"S. Jajodia","year":"2001","unstructured":"Jajodia, S., Samarati, P., Sapino, M.L., Subrahmanian, V.S.: Flexible support for multiple access control policies. ACM Transactions on Database Systems\u00a026(2), 214\u2013260 (2001)","journal-title":"ACM Transactions on Database Systems"},{"key":"32_CR14","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1109\/SECPRI.2001.924291","volume-title":"Proceedings of the 2001 IEEE Symposium on Research in Security and Privacy","author":"T. Jim","year":"2001","unstructured":"Jim, T.: SD3: A trust management system with certified evaluation. In: Proceedings of the 2001 IEEE Symposium on Research in Security and Privacy, pp. 106\u2013115. IEEE Computer Society Press, Los Alamitos (2001)"},{"key":"32_CR15","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/0304-3975(81)90019-0","volume":"14","author":"D. Kozen","year":"1981","unstructured":"Kozen, D., Parikh, R.: An elementary proof of the completeness of PDL. Theoretical Computer Science\u00a014, 113\u2013118 (1981)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"32_CR16","doi-asserted-by":"publisher","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 Transaction on Information and System Security (TISSEC)\u00a06(1), 128\u2013171 (2003)","journal-title":"ACM Transaction on Information and System Security (TISSEC)"},{"key":"32_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/3-540-36388-2_6","volume-title":"Practical Aspects of Declarative Languages","author":"N. Li","year":"2002","unstructured":"Li, N., Mitchell, J.C.: Datalog with constraints: A foundation for trust management languages. In: Dahl, V., Wadler, P. (eds.) PADL 2003. LNCS, vol.\u00a02562, pp. 58\u201373. Springer, Heidelberg (2002)"},{"key":"32_CR18","unstructured":"Li, N., Mitchell, J.C., Winsborough, W.H.: Design of a role-based trust-management framework. In: Proceedings of the 2002 IEEE Symposium on Research on Security and Privacy, pp. 114\u2013130 (2002)"},{"key":"32_CR19","doi-asserted-by":"crossref","unstructured":"McCarty, L.T.: Permissions and obligations. In: Proceedings of IJCAI 1983, pp. 287\u2013294 (1983)","DOI":"10.1136\/bmj.287.6387.294"},{"key":"32_CR20","volume-title":"Introduction to Mathematical Logic","author":"E. Mendelson","year":"1964","unstructured":"Mendelson, E.: Introduction to Mathematical Logic. Van Nostrand, NewYork (1964)"},{"issue":"3","key":"32_CR21","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1093\/logcom\/6.3.465","volume":"6","author":"R. Meyden van der","year":"1996","unstructured":"van der Meyden, R.: The dynamic logic of permission. Journal of Logic and Computation\u00a06(3), 465\u2013479 (1996)","journal-title":"Journal of Logic and Computation"},{"issue":"1","key":"32_CR22","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1305\/ndjfl\/1093637776","volume":"29","author":"J.-J.C. Meyer","year":"1988","unstructured":"Meyer, J.-J.C.: A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic. Notre Dame Journal of Formal Logic\u00a029(1), 109\u2013136 (1988)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"32_CR23","doi-asserted-by":"crossref","unstructured":"Meyer, J.-J.C., Weigand, H., Wieringa, R.: A specification language for static, dynamic and deontic integrity constraints. In: Demetrovics, J., Thalheim, B. (eds.) Mathematical Fundamentals of Database Systems. LNCS, vol. 346. Springer, Heidelberg (1989)","DOI":"10.1007\/3-540-51251-9_23"},{"key":"32_CR24","volume-title":"Security in Computing","author":"C. Pfleeger","year":"1997","unstructured":"Pfleeger, C.: Security in Computing, 2nd edn. Prentice-Hall, Englewood Cliffs (1997)","edition":"2"},{"key":"32_CR25","first-page":"93","volume-title":"Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages","author":"V. Pratt","year":"1979","unstructured":"Pratt, V.: Process logic. In: Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, pp. 93\u2013100. ACM Press, New York (1979)"},{"key":"32_CR26","first-page":"326","volume-title":"Proceedings of the 10th Symposium on Theory of Computing","author":"V.R. Pratt","year":"1978","unstructured":"Pratt, V.R.: A practical decision method for propositional dynamic logic. In: Proceedings of the 10th Symposium on Theory of Computing, pp. 326\u2013337. ACM Press, New York (1978)"},{"key":"32_CR27","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1109\/CSFW.2002.1021822","volume-title":"Proceedings of the 15th IEEE Computer Security Foundations Workshop","author":"R. Pucella","year":"2002","unstructured":"Pucella, R., Weissman, V.: A logic for reasoning about digital rights. In: Proceedings of the 15th IEEE Computer Security Foundations Workshop, pp. 282\u2013294. IEEE Computer Society Press, Los Alamitos (2002)"},{"issue":"6","key":"32_CR28","first-page":"A","volume":"24","author":"K. Segerberg","year":"1977","unstructured":"Segerberg, K.: A completeness theorem in the modal logic of programs. Notices AMS\u00a024(6), A\u2013552 (1977)","journal-title":"Notices AMS"},{"key":"32_CR29","first-page":"17","volume-title":"Deontic Logic in Computer Science: Normative System Specification, ch. 2","author":"R.J. Wieringa","year":"1993","unstructured":"Wieringa, R.J., Meyer, J.-J.C.: Applications of deontic logic in computer science: A concise overview. In: Meyer, J.-J.C., Wieringa, R.J. (eds.) Deontic Logic in Computer Science: Normative System Specification, ch. 2, pp. 17\u201340. John Wiley & Sons, Chichester (1993)"},{"key":"32_CR30","doi-asserted-by":"crossref","unstructured":"von Wright, G.H.: Deontic logic. Mind 60, 1\u201315 (1951)","DOI":"10.1093\/mind\/LX.237.1"},{"key":"32_CR31","volume-title":"Acta Phiiosophica Fennica","author":"G.H. Wright von","year":"1968","unstructured":"von Wright, G.H.: An essay in deontic logic and the general theory of action. In: Acta Phiiosophica Fennica, vol.\u00a021, North Holland, Amsterdam (1968)"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24727-2_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,2]],"date-time":"2023-06-02T10:26:38Z","timestamp":1685701598000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24727-2_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540212980","9783540247272"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24727-2_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}