TY - GEN
T1 - On the operational semantics of rights expression languages
AU - Sheppard, Nicholas Paul
AU - Safavi-Naini, Reihaneh
PY - 2009
Y1 - 2009
N2 - 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.
AB - 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.
KW - Digital rights management
KW - Operational semantics
KW - Rights expression languages
UR - http://www.scopus.com/inward/record.url?scp=74049110384&partnerID=8YFLogxK
U2 - 10.1145/1655048.1655052
DO - 10.1145/1655048.1655052
M3 - Conference Paper
AN - SCOPUS:74049110384
SN - 9781605587790
T3 - Proceedings of the ACM Conference on Computer and Communications Security
SP - 17
EP - 27
BT - Proceedings of the 9th ACM Workshop on Digital Rights Management, DRM '09, Co-located with the 16th ACM Computer and Communications Security Conference, CCS'09
T2 - 9th ACM Workshop on Digital Rights Management, DRM '09, Co-located with the 16th ACM Computer and Communications Security Conference, CCS'09
Y2 - 9 November 2009 through 13 November 2009
ER -