Vicky Weissman

According to our database, Vicky Weissman authored at least 8 papers between 2002 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2007

Reasoning about authorization policies.

Vicky Weissman

PhD thesis, 2007

2006

A Formal Foundation for ODRL

Riccardo Pucella, Vicky Weissman

CoRR, 2006

2004

Reasoning about Dynamic Policies.

Riccardo Pucella, Vicky Weissman

Proceedings of the Foundations of Software Science and Computation Structures, 2004

Towards a Policy Language for Humans and Computers.

Vicky Weissman, Carl Lagoze

Proceedings of the Research and Advanced Technology for Digital Libraries, 2004

A Formal Foundation for XrML.

Joseph Y. Halpern, Vicky Weissman

Proceedings of the 17th IEEE Computer Security Foundations Workshop, 2004

2003

Review of Modal and temporal properties of processes by Colin Stirling. Springer Verlag 2001.

Vicky Weissman

SIGACT News, 2003

Using First-Order Logic to Reason about Policies.

Joseph Y. Halpern, Vicky Weissman

Proceedings of the 16th IEEE Computer Security Foundations Workshop (CSFW-16 2003), 30 June, 2003

2002

A Logic for Reasoning about Digital Rights.

Riccardo Pucella, Vicky Weissman

Proceedings of the 15th IEEE Computer Security Foundations Workshop (CSFW-15 2002), 2002