Reasoning about dynamic policies

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2987, Issue , 2004, Pages 453-467

  Pucella, Riccardo ^a   Weissman, Vicky ^a  

^a Department of Computer Science and School of Operations Research and Information Engineering   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTABILITY AND DECIDABILITY; FORMAL LOGIC; HEALTH INSURANCE; MANAGERS;

DYNAMIC POLICY; EXPONENTIAL TIME; POLICY CHANGES; PROPOSITIONAL DYNAMIC LOGIC; SATISFIABILITY PROBLEMS; SOUND AND COMPLETE;

COMPUTATION THEORY;

EID: 26444613566     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24727-2_32     Document Type: Article

References (31)

1. J. Chomicki, J. Lobo, and S. Naqvi. A logic programming approach to conflict resolution in policy management. In Principles of Knowledge Representation and Reasoning: Proc. Ninth International Conference (KR '00), pages 121-132, 2000.
2. ContentGuard. XrML: Extensible rights Markup Language. Available from http://www.xrml.org, 2001.
3. L. Csirmaz. Multi-level permission. Technical Report 90-25, DIMACS, 1990.
4. J. DeTreville. Binder, a logic-based security language. In Proceedings of the 2002 IEEE Symposium on Research in Security and Privacy, pages 95-103. IEEE Computer Society Press, 2002.
5. M. J. Fisher and R. E. Ladner. Propositional dynamic logic of regular programs. Journal of Computer and System Sciences, 18(2): 194-211, 1979.
6. H. Garcia-Molina, J. D. Ullman, and J. Widom. Database Systems: The Complete Book. Prentice Hall, 2002.
7. J. Glasgow, G. MacEwen, and P. Panangaden. A logic for reasoning about security. ACM Transactions on Computer Systems, 10(3):226-264, 1992.
8. J. Y. Halpern and V. Weissman. Using first-order logic to reason about policies. In Proceedings of the 16th IEEE Computer Security Foundations Workshop, pages 187-201. IEEE Computer Society Press, 2003.
9. D. Harel, D. Kozen, and J. Tiuryn. Dynamic Logic. The MIT Press, 2000.
10. G. Hughes and M. Cresswell. An Introduction to Modal Logic. Methuen, 1972.
11. R. lannella. Open Digital Rights Language (ODRL) version 1.1. Available from http : //www. w3. org/TR/odrl, 2002.
12. Y. loannidis and T. Sellis. Supporting inconsistent rules in database systems. Journal of Intelligent Information Systems, l(3/4):243-270, 1992.
13. S. Jajodia, P. Samarati, M. L. Sapino, and V. S. Subrahmanian. Flexible support for multiple access control policies. ACM Transactions on Database Systems, 26(2):214-260, 2001.
14. T.Jim. SD3: A trust management system with certified evaluation. In Proceedings of the 2001 IEEE Symposium on Research in Security and Privacy, pages 106-115. IEEE Computer Society Press, 2001.
15. D. Kozen and R. Parikh. An elementary proof of the completeness of PDL. Theoretical Computer Science, 14:113-118, 1981.
16. N. Li, B. N. Grosof, and J. Feigenbaum: Delegation Logic: A logic-based approach to distributed authorization. ACM Transaction on Information and System Security (TISSEC), 6(1):128-171, 2003.
17. N. Li and J. C. Mitchell. Datalog with constraints: A foundation for trust management languages. In Proceedings of the Fifth International Symposium on Practical Aspects of Declarative Languages, volume 2562 of Lecture Notes in Computer Science, pages 58-73, 2003.
18. N. Li, J. C. Mitchell, and W. H. Winsborough. Design of a role-based trust-management framework. In Proceedings of the 2002 IEEE Symposium on Research on Security and Privacy, pages 114-130, 2002.
19. L. T. McCarty. Permissions and obligations. In Proceedings of IJCAI-83, pages 287-294, 1983.
20. E. Mendelson. Introduction to Mathematical Logic. Van Nostrand, New York, 1964.
21. R. van der Meyden. The dynamic logic of permission. Journal of Logic and Computation, 6(3):465-479, 1996.
22. J.-J. C. Meyer. A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic. Notre Dame Journal of Formal Logic, 29(1):109-136, 1988.
23. J.-J. C. Meyer, H. Weigand, and R. Wieringa. A specification language for static, dynamic and deontic integrity constraints. In J. Demetrovics and B. Thalheim, editors, Mathematical Fundamentals of Database Systems, volume 346 of Lecture Notes in Computer Science, 1989.
24. C. Pfleeger. Security in Computing. Prentice-Hall, second edition, 1997.
25. V. Pratt. Process logic. In Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, pages 93-100. ACM Press, 1979.
26. V. R. Pratt. A practical decision method for propositional dynamic logic. In Proceedings of the 10th Symposium on Theory of Computing, pages 326-337. ACM Press, 1978.
27. R. Pucella and V. Weissman. A logic for reasoning about digital rights. In Proceedings of the 15th IEEE Computer Security Foundations Workshop, pages 282-294. IEEE Computer Society Press, 2002.
28. K. Segerberg. A completeness theorem in the modal logic of programs. Notices AMS, 24(6):A-552, 1977.
29. R. J. Wieringa and J.-J. C. Meyer. Applications of deontic logic in computer science: A concise overview. In J.-J. C. Meyer and R. J. Wieringa, editors, Deontic Logic in Computer Science: Normative System Specification, chapter 2, pages 17-40. John Wiley & Sons, 1993.
30. G. H. von Wright. Deontic logic. Mind, 60:1-15, 1951.
31. G. H. von Wright. An essay in deontic logic and the general theory of action. In Acta Phiiosophica Fennica, volume 21. North Holland, 1968.