A language for legal Discourse I. basic features
ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
Logic in computer science: modelling and reasoning about systems
Logic in computer science: modelling and reasoning about systems
Rethinking the design of the Internet: the end-to-end arguments vs. the brave new world
ACM Transactions on Internet Technology (TOIT)
Tussle in cyberspace: defining tomorrow's internet
Proceedings of the 2002 conference on Applications, technologies, architectures, and protocols for computer communications
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
The UCONABC usage control model
ACM Transactions on Information and System Security (TISSEC)
CSFW '04 Proceedings of the 17th IEEE workshop on Computer Security Foundations
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
DRM interoperability analysis from the perspective of a layered framework
Proceedings of the 5th 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
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
Proceedings of the 2007 ACM workshop on Digital Rights Management
Journal of the ACM (JACM)
Digital rights management architectures
Computers and Electrical Engineering
Formal digital license language with OTS/CafeOBJ method
AICCSA '08 Proceedings of the 2008 IEEE/ACS International Conference on Computer Systems and Applications
Cooperative and non-cooperative game-theoretic analyses of adoptions of security policies for DRM
CCNC'09 Proceedings of the 6th IEEE Conference on Consumer Communications and Networking Conference
A domain specific language for usage management
Proceedings of the 11th annual ACM workshop on Digital rights management
Decision-making in rights exporting: the integrated process
Proceedings of the Fifth International Conference on Management of Emergent Digital EcoSystems
Hi-index | 0.00 |
In this paper, we describe a formal framework for usage management that provides a scaffolding upon which interoperable usage management systems can be built. We apply the principles of system design to standardize certain features of the framework, such as the operational semantics, and leave free of standards areas that necessitate choice and innovation. We demonstrate that such an approach enables us to achieve a balance of flexibility and usability for the purpose of interoperability in usage management systems. We provide a formal model that allows us to define formal semantics for interoperability.