A Logic for Reasoning about Digital Rights
CSFW '02 Proceedings of the 15th IEEE workshop on Computer Security Foundations
Models and Languages for Digital Rights
HICSS '01 Proceedings of the 34th Annual Hawaii International Conference on System Sciences ( HICSS-34)-Volume 9 - Volume 9
Experiences with the enforcement of access rights extracted from ODRL-based digital contracts
Proceedings of the 3rd ACM workshop on Digital rights management
Proceedings of the 4th ACM workshop on Digital rights management
Import/export in digital rights management
Proceedings of the 4th ACM workshop on Digital rights management
Managing Digital Rights using Linear Logic
LICS '06 Proceedings of the 21st Annual IEEE Symposium on Logic in Computer Science
Persistent access control: a formal model for drm
Proceedings of the 2007 ACM workshop on Digital Rights Management
Journal of the ACM (JACM)
Purpose based access control for privacy protection in relational database systems
The VLDB Journal — The International Journal on Very Large Data Bases
A formal conceptual model for rights
Proceedings of the 8th ACM workshop on Digital rights management
Formal digital license language with OTS/CafeOBJ method
AICCSA '08 Proceedings of the 2008 IEEE/ACS International Conference on Computer Systems and Applications
IT-security and privacy: design and use of privacy-enhancing security mechanisms
IT-security and privacy: design and use of privacy-enhancing security mechanisms
An analysis of interoperability between licenses
Proceedings of the tenth annual ACM workshop on Digital rights management
An approach to the formal analysis of license interoperability
Computers and Electrical Engineering
| Hi-index | 0.00 |
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.