34 citations · 36 across the 4 of their papers we have counts for
4 papers
A Formal Foundation for XrML
Joseph Y. Halpern, Vicky Weissman
XrML is becoming a popular language in industry for writing software licenses. The semantics for XrML is implicitly given by an algorithm that determines if a permission follows fr…
A Formal Foundation for ODRL
Riccardo Pucella, Vicky Weissman
ODRL is a popular XML-based language for stating the conditions under which resources can be accessed legitimately. The language is described in English and, as a result, agreement…
Using First-Order Logic to Reason about Policies
Joseph Y. Halpern, Vicky Weissman
A policy describes the conditions under which an action is permitted or forbidden. We show that a fragment of (multi-sorted) first-order logic can be used to represent and reason a…
A Logic for Reasoning about Digital Rights
Riccardo Pucella, Vicky Weissman
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 specifi…