http://www.bibsonomy.org/burst/user/dawinci/reasoningBibSonomy BuRST Feed for /user/dawinci/reasoning2008-10-13T09:09:23+02:00http://www.bibsonomy.org/bibtex/2c7433ed354660df0f626f5f8ec120b9f/dawincidawinci2008-04-14T13:01:15+02:00computability reasoning rights digital logic <span style="color:#555555;">Riccardo <a href="http://www.bibsonomy.org/author/Pucella">Pucella</a> und Vicky <a href="http://www.bibsonomy.org/author/Weissman">Weissman</a> </span><em>Seite282-294. </em><em>June2002. </em>Mon Apr 14 13:01:15 CEST 2008Computer Security Foundations Workshop, 2002. Proceedings. 15th IEEEJune 282-294A Logic for Reasoning about Digital Rights2002computability reasoning rights digital logic 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.