Documents A Formal Foundation for XrML Vicky Weissman Joint work with Joe Halpern.

Slide 1 A Formal Foundation for XrML Vicky Weissman Joint work with Joe Halpern Slide 2 The big picture A policy says that under certain conditions an action, such as downloading…

Documents A Formal Foundation for XrML Vicky Weissman Joint work with: Joseph Halpern.

Slide 1 A Formal Foundation for XrML Vicky Weissman Joint work with: Joseph Halpern Slide 2 2 The big picture A policy says that under certain conditions an action, such…

Documents Extensible Semantics for XrML Vicky Weissman Joint work with Joe Halpern.

Slide 1 Extensible Semantics for XrML Vicky Weissman Joint work with Joe Halpern Slide 2 The big picture A policy says that under certain conditions an action, such as downloading…