@inproceedings{Puc_Wei_2002,
        title = {A Logic for Reasoning about Digital Rights},
        author = {Riccardo Pucella and Vicky Weissman},
        journal = {Computer Security Foundations Workshop, 2002. Proceedings. 15th IEEE},
        month = {June},
        pages = { 282-294},
        year = 2002,
        issn = {1063-6900 },
	doi = {10.1109/CSFW.2002.1021822},
	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.},
	biburl = {http://www.bibsonomy.org/bibtex/2c7433ed354660df0f626f5f8ec120b9f/dawinci},
	keywords = {computability reasoning rights digital logic}
}