A Logic for Reasoning about Digital Rights
Cryptography and Security
2007-05-23 v1 Logic in Computer Science
Abstract
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.
Keywords
Cite
@article{arxiv.cs/0405066,
title = {A Logic for Reasoning about Digital Rights},
author = {Riccardo Pucella and Vicky Weissman},
journal= {arXiv preprint arXiv:cs/0405066},
year = {2007}
}
Comments
21 pages. Appeared in the Proceedings of the 15th IEEE Computer Security Foundations Workshop, pp. 282-294, 2002