A Formal Foundation for ODRL
| dc.creator | Pucella, Riccardo | |
| dc.creator | Weissman, Vicky | |
| dc.date | 2006-01-19 | |
| dc.date.accessioned | 2026-07-07T06:57:59Z | |
| dc.date.available | 2026-07-07T06:57:59Z | |
| dc.description | 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. | |
| dc.description | 30 pgs, preliminary version presented at WITS-04 (Workshop on Issues in the Theory of Security), 2004 | |
| dc.identifier | https://arxiv.org/abs/cs/0601085 | |
| dc.identifier | http://arxiv.org/abs/cs/0601085 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/107181 | |
| dc.subject | Logic in Computer Science | |
| dc.subject | Cryptography and Security | |
| dc.subject | H.2.7; K.4.4 | |
| dc.title | A Formal Foundation for ODRL | |
| dc.type | text |