A Logic for Reasoning about Digital Rights
| dc.creator | Pucella, Riccardo | |
| dc.creator | Weissman, Vicky | |
| dc.date | 2004-05-18 | |
| dc.date.accessioned | 2026-07-07T03:21:18Z | |
| dc.date.available | 2026-07-07T03:21:18Z | |
| dc.description | 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. | |
| dc.description | 21 pages. Appeared in the Proceedings of the 15th IEEE Computer Security Foundations Workshop, pp. 282-294, 2002 | |
| dc.identifier | https://arxiv.org/abs/cs/0405066 | |
| dc.identifier | http://arxiv.org/abs/cs/0405066 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/32143 | |
| dc.subject | Cryptography and Security | |
| dc.subject | Logic in Computer Science | |
| dc.subject | D.4.6; K.6.5; F.4.1 | |
| dc.title | A Logic for Reasoning about Digital Rights | |
| dc.type | text |