A Logic for Reasoning about Digital Rights

Details A Logic for Reasoning about Digital Rights A Logic for Reasoning about Digital Rights

2004-05-18

arxiv.org/abs/cs/0405066v1

Computer Science

Cryptography and Security

21 pages. Appeared in the Proceedings of the 15th IEEE Computer Security Foundations Workshop, pp. 282-294, 2002

Scientific paper

We present a logic for reasoning about licenses, which are ``terms of use'' for digital resources. The logic provides a language for writing both properties of licenses and specifications that govern a client's actions. We discuss the complexity of checking properties and specifications written in our logic and propose a technique for verification. A key feature of our approach is that it is essentially parameterized by the language in which the licenses are written, provided that this language can be given a trace-based semantics. We consider two license languages to illustrate this flexibility.

Affiliated with

Also associated with

No associations

Rating

A Logic for Reasoning about Digital Rights 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 Logic for Reasoning about Digital Rights, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Logic for Reasoning about Digital Rights will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-366051