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