ABSTRACT
We propose an operational model for formalising and enforcing rights expression languages based on the concept of a rights expression compiler. Our compiler transforms an XML-based rights expression into a programme for a virtual machine. This approach provides a formal way of defining semantics for rights expression languages that can be directly used in practice to enforce the expressions while ensuring their consistency and correctness. We further argue that our model eliminates a number of limitations in previous attempts to associate rights expression languages with formal semantics. We demonstrate the power and practicality of our model by using it to develop operational semantics for the OMA Rights Expression Language, from which a real interpreter can be derived with relatively little effort.
- A. Arnab and A. Hutchison. Persistent access control: A formal model for DRM. In ACM Workshop on Digital Rights Management, pages 41--53, Alexandria, Virginia, USA, 2007. Google ScholarDigital Library
- A. Barth and J. C. Mitchell. Managing digital rights using linear logic. In Annual IEEE Symposium on Logic and Computer Science, pages 127--136, Seattle, Washington, USA, 2006. Google ScholarDigital Library
- J.-W. Byun and N. Li. Purpose based access control for privacy protection in relational database systems. The VLDB Journal, 17:603--619, 2008. Google ScholarDigital Library
- C. N. Chong, R. Corin, S. Etalle, P. H. Hartel, W. Jonker, and Y. W. Law. LicenseScript: A novel digital rights language and its semantics. In Third International Conference on the Web Delivery of Music, pages 122--129, Los Alamitos, USA, 2003.Google ScholarDigital Library
- ContentGuard. Extensible Rights Markup Language. http://www.xrml.org, 2004.Google Scholar
- S. Fischer-Hubner. IT-Security and Privacy: Design and Use of Privacy-Enhancing Security Mechanisms. Springer, Berlin, Germany, 2001. Google ScholarDigital Library
- C. A. Gunter, S. T. Weeks, and A. K. Wright. Models and languages for digital rights. In Hawaii International Conference on System Sciences, Maui, Hawaii, USA, 2001. Google ScholarDigital Library
- S. Guth, G. Neumann, and M. Strembeck. Experiences with the enforcement of access rights extracted from ODRL-based digital contracts. In ACM Workshop on Digital Rights Management, pages 90--102, Washington, DC, USA, 2003. Google ScholarDigital Library
- J. Y. Halpern and V. Weissman. A formal foundatinon for XrML. Journal of the ACM, 55(1), 2008. Google ScholarDigital Library
- M. Holzer, S. Katzenbeisser, and C. Schallhart. Towards a formal semantics for ODRL. In International ODRL Workshop, Vienna, Austria, 2004.Google Scholar
- P. A. Jamkhedkar and G. L. Heileman. DRM as a layered system. In ACM Workshop on Digital Rights Management, pages 11--21, Washington, DC, USA, 2004. Google ScholarDigital Library
- P. A. Jamkhedkar and G. L. Heileman. A formal conceptual model for rights. In ACM Workshop on Digital Rights Management, pages 29--38, Alexandria, Virginia, USA, 2008. Google ScholarDigital Library
- Marlin Developer Community. Marlin -- the content sharing platform for consumer devices and multimedia services. http://www.marlin-community.com, 2008.Google Scholar
- Open Digital Rights Language Initiative. The Open Digital Rights Language Initiative. http://odrl.net, 2004.Google Scholar
- Open Mobile Alliance. DRM rights expression language. Approved Version 2.1, 14 October 2008.Google Scholar
- R. Pucella and V. Weissman. A logic for reasoning about digital rights. In IEEE Computer Security Foundations Workshop, pages 282--294, Cape Breton, Nova Scotia, Canada, 2002. Google ScholarDigital Library
- R. Pucella and V. Weissman. A formal foundation for ODRL. Technical Report arXiv:cs/0601085v1, arXiv, 2006.Google Scholar
- N. Rump and C. Barlas. When ``playing'' isn't ``playing'' or how to achieve semantic interoperability. INDICARE Monitor, 1(8), 2005. http://www.indicare.org/tiki-read_article.php?articleId=68.Google Scholar
- R. Safavi-Naini, N. P. Sheppard, and T. Uehara. Import/export in digital rights management. In ACM Workshop on Digital Rights Management, pages 99--110, Washington, DC, USA, 2004. Google ScholarDigital Library
- W3 Consortium. XML path language (XPath) version 1.0. http://www.w3.org/TR/xpath, 16 November 1999.Google Scholar
- H. Xiang, D. Bjorner, and K. Futatsugi. Formal digital license language with OTS/CafeOBJ method. In ACS/IEEE International Conference on Computer Systems and Applications, pages 652--660, Doha, Qatar, 2008. Google ScholarDigital Library
Index Terms
- On the operational semantics of rights expression languages
Recommendations
An operational semantics for ZCCS
ICFEM '97: Proceedings of the 1st International Conference on Formal Engineering MethodsG. Bruns (1995) has proposed a version of value-passing CCS in which an agent language, based on that proposed by Milner, is augmented with a rich data language. The data language can be used to describe sets, tuples and sequences etc. constructed from ...
Equivalence of Denotational and Operational Semantics for Interaction Languages
Theoretical Aspects of Software EngineeringAbstractMessage Sequence Charts (MSC) and Sequence Diagrams (SD) are graphical models representing the behaviours of distributed and concurrent systems via the scheduling of discrete emission and reception events. So as to exploit them in formal methods, ...
Denotational and operational semantics for interaction languages: Application to trace analysis
AbstractGraphical depictions of distributed systems' behaviors in the form of Sequence Diagrams (SD) are widely used, with formalisms such as Message Sequence Charts (MSC) or UML-SD. Yet, only restricted subsets of these languages are associated to ...
Comments