 | 2008 |
|---|
| 11 |       | Joseph Y. Halpern,
Vicky Weissman:
Using First-Order Logic to Reason about Policies.
ACM Trans. Inf. Syst. Secur. 11(4): (2008) |
| 10 | | Joseph Y. Halpern,
Vicky Weissman:
A Formal Foundation for XrML
CoRR abs/0808.1215: (2008) |
| 9 | | Joseph Y. Halpern,
Vicky Weissman:
A formal foundation for XrML.
J. ACM 55(1): (2008) |
| 2006 |
|---|
| 8 | | Joseph Y. Halpern,
Vicky Weissman:
Using First-Order Logic to Reason about Policies
CoRR abs/cs/0601034: (2006) |
| 7 | | Riccardo Pucella,
Vicky Weissman:
A Formal Foundation for ODRL
CoRR abs/cs/0601085: (2006) |
| 2004 |
|---|
| 6 | | Joseph Y. Halpern,
Vicky Weissman:
A Formal Foundation for XrML.
CSFW 2004: 251- |
| 5 | | Vicky Weissman,
Carl Lagoze:
Towards a Policy Language for Humans and Computers.
ECDL 2004: 513-525 |
| 4 | | Riccardo Pucella,
Vicky Weissman:
Reasoning about Dynamic Policies.
FoSSaCS 2004: 453-467 |
| 3 | | Riccardo Pucella,
Vicky Weissman:
A Logic for Reasoning about Digital Rights
CoRR cs.CR/0405066: (2004) |
| 2003 |
|---|
| 2 | | Joseph Y. Halpern,
Vicky Weissman:
Using First-Order Logic to Reason about Policies.
CSFW 2003: 187-201 |
| 2002 |
|---|
| 1 | | Riccardo Pucella,
Vicky Weissman:
A Logic for Reasoning about Digital Rights.
CSFW 2002: 282-294 |
