Home
Forms Library
A Formal Foundation for XrML

A Formal Foundation for XrML 2025

A Formal Foundation for XrML Preview on Page 1

Show details

4.1 out of 5

24 votes

The document presents a formal foundation for the eXtensible rights Markup Language (XrML), which is used for writing software licenses. It critiques the existing algorithm for determining permissions based on XrML licenses, identifies its shortcomings, and proposes formal semantics to address these issues. The authors demonstrate that while the general problem of determining if a permission follows from a set of licenses is undecidable, it can be computed in polynomial time for a specific fragment of the language. They also extend XrML to include negation, enhancing its expressive power. Additionally, the paper compares XrML with MPEG-21, an international standard based on XrML, and discusses implications for digital rights management.

Here's how it works

01. Edit your form online

Type text, add images, blackout confidential details, add comments, highlights and more.

02. Sign it in a few clicks

Draw your signature, type it, upload its image, or use your mobile device as a signature pad.

03. Share your form with others

Send it via email, link, or fax. You can also download it, export it or print it out.

The best way to change A Formal Foundation for XrML online

Ease of Setup

DocHub User Ratings on G2

Ease of Use

DocHub User Ratings on G2

With DocHub, making adjustments to your documentation requires only a few simple clicks. Make these fast steps to change the PDF A Formal Foundation for XrML online for free:

Sign up and log in to your account. Sign in to the editor using your credentials or click on Create free account to evaluate the tool’s functionality.
Add the A Formal Foundation for XrML for redacting. Click the New Document button above, then drag and drop the file to the upload area, import it from the cloud, or using a link.
Adjust your template. Make any adjustments needed: insert text and images to your A Formal Foundation for XrML, highlight information that matters, remove parts of content and substitute them with new ones, and insert icons, checkmarks, and areas for filling out.
Finish redacting the form. Save the modified document on your device, export it to the cloud, print it right from the editor, or share it with all the people involved.

Our editor is very easy to use and effective. Try it out now!

Try more PDF tools