A Formal Foundation for ODRL
Logic in Computer Science
2007-05-23 v1 Cryptography and Security
Abstract
ODRL is a popular XML-based language for stating the conditions under which resources can be accessed legitimately. The language is described in English and, as a result, agreements written in ODRL are open to interpretation. To address this problem, we propose a formal semantics for a representative fragment of the language. We use this semantics to determine precisely when a permission is implied by a set of ODRL statements and show that answering such questions is a decidable NP-hard problem. Finally, we define a tractable fragment of ODRL that is also fairly expressive.
Keywords
Cite
@article{arxiv.cs/0601085,
title = {A Formal Foundation for ODRL},
author = {Riccardo Pucella and Vicky Weissman},
journal= {arXiv preprint arXiv:cs/0601085},
year = {2007}
}
Comments
30 pgs, preliminary version presented at WITS-04 (Workshop on Issues in the Theory of Security), 2004