A Formal Foundation for ODRL

Details A Formal Foundation for ODRL A Formal Foundation for ODRL

2006-01-19

arxiv.org/abs/cs/0601085v1

Computer Science

Logic in Computer Science

30 pgs, preliminary version presented at WITS-04 (Workshop on Issues in the Theory of Security), 2004

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

A Formal Foundation for ODRL does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A Formal Foundation for ODRL, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Formal Foundation for ODRL will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-449324