2 papers
cs.CR2008
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…
cs.CR2004
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…