A logic for reasoning about digital rights

Proceedings of the Computer Security Foundations Workshop

Volumn 2002-January, Issue , 2002, Pages 282-294

  Pucella, R ^a   Weissman, V ^a  

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

Author keywords

Authorization; Computer languages; Computer science; Computer security; Conferences; Licenses; Loans and mortgages; Logic; Resource management; Writing

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER RESOURCE MANAGEMENT; COMPUTER SCIENCE; SECURITY OF DATA; SECURITY SYSTEMS; SEMANTICS; SPECIFICATIONS; TECHNICAL WRITING;

AUTHORIZATION; CONFERENCES; LICENSES; LOANS AND MORTGAGES; LOGIC; RESOURCE MANAGEMENT;

COPYRIGHTS;

EID: 84948751138     PISSN: 10636900     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSFW.2002.1021822     Document Type: Conference Paper

References (25)

1. J. A. Brzozowski. Derivatives of regular expressions. Journal of the ACM, 11(4):481-494, 1964.
2. E. M. Clarke, O. Grumberg, and D. Peled. Model Checking. The MIT Press, 1999.
3. ContentGuard, Inc. XrML: Extensible rights Markup Language. Available from http://www.xrml.org, 2000.
4. C. Ellison, B. Frantz, B. Lampson, R. Rivest, B. Thomas, and T. Ylonen. Simple public key certificate. At http://world.std.com/~cme/spki.txt, 1999. Internet RFC 2693.
5. D. Follesdal and R. Hilpinen. Deontic logic: An introduction. In R. Hilpinen and D. Reidel, editors, Deontic Logic: Introductory and Systematic Readings, pages 1-35. Dordrecht, 1981.
6. R. Goldblatt. Logics of Time and Computation. CSLI Lecture Notes, No. 7. CSLI, 1992.
7. C. A. Gunter, S. T. Weeks, and A. K. Wright. Models and languages for digital rights. In Hawaii International Conference on Systems Sciences, 2001.
8. J. Y. Halpern and R. van der Meyden. A logic for SDSI's linked local name spaces. Journal of Computer Security, 9(1,2):47-74, 2001.
9. J. Y. Halpern and R. van der Meyden. A logical reconstruction of SPKI. In Proceedings of the 14th IEEE Computer Security Foundations Workshop, pages 59-70. IEEE Computer Society Press, 2001.
10. D. Harel, D. Kozen, and J. Tiuryn. Dynamic Logic. The MIT Press, Cambridge, Massachusetts, 2000.
11. C. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.
12. C. A. R. Hoare. An axiomatic basis for computer programming. Communications of the ACM, 12:576-580, 583, 1969.
13. J. E. Hopcroft and J. D. Ullman. Formal languages and their relation to automata. Addison Wesley, Reading Mass., 1969.
14. J. Hromkovic, S. Seibert, and T. Wilke. Translating regular expressions into small epsilon-free nondeterministic finite automata. In Symposium on Theoretical Aspects of Computer Science, volume 1200 of Lecture Notes in Computer Science, pages 55-66, 1997.
15. IPR Systems Pty Ltd. Open Digital Rights Language (ODRL). Available from http://odrl.net, 2001.
16. S. Khosla and T. S. E. Maibaum. The prescription of description of state based systems. In B. Banieqbal, H. Barringer, and A. Pnueli, editors, Temporal Logic in Specification, volume 398 of Lecture Notes in Computer Science, pages 243-294. Springer, 1987.
17. R. M. Lee. A logic model for electronic contracting. Decision Support Systems, 4:27-44, 1988.
18. 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.
19. J.-J. C. Meyer and R. J. Wieringa. Deontic logic: A concise overview. In J.-J. C. Meyer and R. J. Wieringa, editors, Deontic Logic in Computer Science: Normative System Specification, chapter 1, pages 3-16. John Wiley & Sons, 1993.
20. R. Pucella and V. Weissman. A logic for reasoning about digital rights (extended abstract). In Proceedings of the Workshop on Issues in Computer Security (WITS'02), 2002.
21. A. Ramanujapuram and P. Ram. Digital content and intellectual property rights. Dr. Dobb's Journal, 23(12):20-27, 1998.
22. A. Sistla and E. Clarke. The complexity of propositional linear temporal logic. Journal of the ACM, 32:733-749, 1985.
23. R. van der Meyden. The dynamic logic of permission. In Proceedings of the Fifth IEEE Conference on Logic in Computer Science (LICS'90), pages 72-78, 1990.
24. M. Y. Vardi. Alternating automata: Checking truth and validity for temporal logics. In Proceedings of the 14th International Conference on Automated Deduction, volume 1249 of Lecture Notes in Computer Science, pages 191-206. Springer, 1997.
25. 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.