A Formal Foundation for XrML

A Formal Foundation for XrML