A formal foundation for XrML (2004)

by Joseph Y Halpern, Vicky Weissman
Venue:In Proc. 17th IEEE Computer Security Foundations Workshop