Dynamic Expression of Digital Rights by Rewriting License

In this paper, we propose a kind of dynamic expression of digital rights by rewriting license for digital rights management based on multiset rewriting and logic programming. Firstly, the essential elements definition is introduced. After that, the execution model is discussion. The final part explores the application model.

[1]  Riccardo Pucella,et al.  A logic for reasoning about digital rights , 2002, Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15.

[2]  Dino Pedreschi,et al.  Modular termination proofs for logic and pure PROLOG programs , 1993 .

[3]  Carl A. Gunter,et al.  Models and languages for digital rights , 2001, Proceedings of the 34th Annual Hawaii International Conference on System Sciences.

[4]  Wolfgang Thomas,et al.  Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics , 1990 .

[5]  Krzysztof R. Apt,et al.  Introduction to Logic Programming , 1988 .

[6]  Yee Wei Law,et al.  LicenseScript: a novel digital rights language and its semantics , 2003, Proceedings Third International Conference on WEB Delivering of Music.

[7]  Brian A. LaMacchia.  Key Challenges in DRM: An Industry Perspective , 2002, Digital Rights Management Workshop.