LicenseScript: A Novel Digital Rights Language and its Semantics
2003, International Journal of Chemical Reactor Engineering
https://doi.org/10.1109/WDM.2003.1233885Abstract
We propose LicenseScript as a new multiset rewriting/logic based language for expressing dynamic conditions of use of digital assets such as music, video or private data. LicenseScript differs from other DRM languages in that it caters for the intentional but legal manipulation of data. We believe this feature is the answer to providing the flexibility needed to support emerging usage paradigms of digital data. We provide the language with a simple semantics based on traces.
References (14)
- K. R. Apt. From Logic Programming to Prolog. In- ternational Series in Computer Science. Prentice Hall, 1997.
- J-P. Banâtre, P. Fradet, and D. L. Métayer. Gamma and the chemical reaction model: Fifteen years after. In C. Calude, G. Paun, G. Rozenberg, and A. Salomaa, editors, Workshop on Multiset Processing (WMP), volume 2235 of Lecture Notes in Computer Science, pages 17-44. Springer-Verlag, Berlin, August 2001.
- M. R. V. Chaudron and E. D. de Jong. Towards a com- positional method for coordinating gamma programs. In Coordination Languages and Models, First Inter- national Conference (COORDINATION '96), pages 107-123. Lecture Notes in Computer Science 1061, Springer-Verlag, April 1996.
- C. N. Chong, R. van Buuren, P. H. Hartel, and G. Kleinhuis. Security attributes based digital rights management. In F. Boavida, E. Monteiro, and J. Orvalho, editors, Joint Int. Workshop on Interac- tive Distributed Multimedia Systems / Protocols for Multimedia Systems (IDMS/PROMS), volume LNCS 2515, pages 339-352, Coimbra, Portugal, Nov 2002. Springer-Verlag, Berlin.
- R. Corin and S. Etalle. An improved constraint-based system for the verification of security protocols. In G. Puebla M. Hermenegildo, editor, 9th International Symposium, SAS 2002, volume 2477 of Lecture Notes in Computer Science, pages 326-342. Springer, 2002.
- C. Gunter, S. Weeks, and A. Wright. Models and languages for digital rights. In Proceedings of the 34th Annual Hawaii International Conference on Sys- tem Sciences (HICSS-34), pages 4034-4038, Maui, Hawaii, United States, January 2001. IEEE Computer Society Press.
- C. A. Gunter. Semantics of Programming Languages: Structures and Techniques. MIT Press, 1992. ISBN: 0262071436.
- H. Guo. Digital rights management (DRM) using XrML. In T-110.501 Seminar on Network Security 2001, page Poster paper 4, 2001. http://www.tml.hut.fi/Studies/T- 110.501/2001/papers/.
- R. Iannella. Open digital rights management. In World Wide Web Consortium (W3C) DRM Work- shop, page Position paper 23, January 2001. http://www.w3.org/2000/12/drm-ws/pp/.
- J. W. Lloyd. Foundations of Logic Program- ming. Symbolic Computation -Artificial Intelligence. Springer-Verlag, Berlin, 1987. Second edition.
- D. K. Mulligan, A. Burstein, and J. Erikson. Sup- porting limits on copyright exclusivity in a rights ex- pression language standard. Comments and require- ments, Samuelson Law, Technology & Public Policy Clinic and Clinic and the Electronic Privacy Informa- tion Center, Boalt Hall, School of Law, Berkeley CA 94720-7200, USA, August 2002.
- R. Pucella and V. Weissman. A logic for reasoning about digital rights. In IEEE Proceedings of the Com- puter Security Foundations Workshop, pages 282-294, Cape Breton, Nova Scotia, Canada, June 2002. IEEE Computer Society Press.
- M. J. Sergot, F. Sadri, R. A. Kowalski, F. Kriwaczek, P. Hammond, and H. T. Cory. The british national- ity act as a logic program. Communications ACM, 29(5):370-386, May 1986.
- S.A.F.A. van den Heuvel, W. Jonker, F.L.A.J. Kam- perman, and P.J. Lenoir. Secure content management in authorised domains. In The World's Electronic Me- dia Event IBC 2002, Sept. 13-17, Amsterdam RAI, The Netherlands, September 2002. To appear.