Proceedings of the 4th ACM workshop on Digital rights management
Timed constraint programming: a declarative approach to usage control
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
The problem with rights expression languages
Proceedings of the ACM workshop on Digital rights management
Persistent access control: a formal model for drm
Proceedings of the 2007 ACM workshop on Digital Rights Management
Journal of the ACM (JACM)
A formal conceptual model for rights
Proceedings of the 8th ACM workshop on Digital rights management
Digital rights management architectures
Computers and Electrical Engineering
SecPAL: Design and semantics of a decentralized authorization language
Journal of Computer Security - Digital Identity Management (DIM 2007)
An interoperable usage management framework
Proceedings of the tenth annual ACM workshop on Digital rights management
A domain specific language for usage management
Proceedings of the 11th annual ACM workshop on Digital rights management
STM'10 Proceedings of the 6th international conference on Security and trust management
A policy language for distributed usage control
ESORICS'07 Proceedings of the 12th European conference on Research in Computer Security
Hi-index | 0.00 |
XrML is becoming a popular language in industry forwriting software licenses. The semantics for XrML is implicitlygiven by an algorithm that determines if a permissionfollows from a set of licenses. We focus on a representativefragment of the language and use it to highlightsome problematic aspects of the algorithm. We then correctthe problems, introduce formal semantics, and showthat our semantics matches the (corrected) algorithm. Finally,we consider the complexity of determining if a permissionis implied by a set of XrML licenses. We show thatthe general problem is NP-hard, but it is polynomial-timecomputable for an expressive fragment of the language.