An Extensible Semantics for XrML

Channel:
Microsoft Research
Subscribers:
344,000
Published on ● Video Link: https://www.youtube.com/watch?v=zwWo-Lymrxo


Duration: 1:02:14
117 views
7

The eXtensible Rights Markup Language (XrML) is becoming an increasingly popular language in which to write software licenses. When first released in 2000, XrML received the support of many companies, including Adobe Systems, Hewlett-Packard Laboratories, Microsoft, Xerox, and Barnesandnoble.com. More recently, XrML has formed the basis for an ISO standard that was released in March 2004. Unfortunately, the standard does not provide an efficient algorithm for determining whether a permission follows from a set of XrML licenses and, despite its name, the languageΓÇÖs extensibility is limited. After presenting an overview of the standard, I address these issues by first giving a translation from XrML licenses to formulas in first-order modal logic. Then I apply techniques from the formal methods community to find an appropriate algorithm and investigate extensions.



Other Videos By Microsoft Research


2016-09-07Datamining in Science: Mining Patterns in Protein StructuresΓÇöAlgorithms and Applications
2016-09-07Programming in Bed: Dispersed Agile Development
2016-09-07WACE 2005 - The Connection Project: Toward Supporting Virtual Collocation
2016-09-07Microsoft Research Faculty Summit 2005 — Embedded Systems and Robotics Research
2016-09-07eScience Workshop 2005 - Welcome
2016-09-07Algorithmic performance in large scale distributed networks:
2016-09-07Web Services: Using Microsoft Indigo Services as Building Blocks to Build Robust Distributed Systems
2016-09-07Phoenix: Experience with an Analysis and Optimization Framework
2016-09-07Accomplishing Successful Software Engineering Research in Universities
2016-09-07Microsoft Research Faculty Summit 2005 — Computing Research in India: A Sampling
2016-09-07An Extensible Semantics for XrML
2016-09-07Microsoft Research Faculty Summit 2005 — Robotics for Instruction
2016-09-07Microsoft Research Faculty Summit 2005 — Next-Generation User Interfaces and Media Platforms
2016-09-07Microsoft Research Faculty Summit 2005 — The Power of Freehand Interaction
2016-09-07Microsoft Research Faculty Summit 2005 — Classroom Presenter: Hands-on Lab
2016-09-07Privacy in Video Media Spaces
2016-09-07Mixin modules
2016-09-07Structural polymorphism in Generic Haskell
2016-09-07Distributed Computing and Combinatorial Topology
2016-09-07Synchronization Using Failure Detectors
2016-09-07Replicating Web Applications On-Demand


Tags:
microsoft research