A formal foundation for XrML

Proceedings of the Computer Security Foundations Workshop

Volumn 17, Issue , 2004, Pages 251-263

  Halpern, Joseph Y ^a   Weissman, Vicky ^a  

^a Cornell University ^*  (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FIRST-ORDER LOGIC; INTERNATIONAL STANDARDS; NEGATION; SOFTWARE LICENSES;

ALGORITHMS; COMPUTATIONAL COMPLEXITY; COMPUTER SOFTWARE; POLYNOMIALS; SEMANTICS; XML;

COMPUTER PROGRAMMING LANGUAGES;

EID: 4944228287     PISSN: 10636900     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (5)

1. ContentGuard. XrML: The digital rights language for trusted content and services, http://www.xrml.org/, 2001.
2. J. Halpern and V. Weissman. Using first-order logic to reason about policies. In Proc. 16th IEEE Computer Security Foundations Workshop, pages 187-201, 2003.
3. MPEG. MPEG-21 rights expression language FCD. http://www.chiariglione. org/mpeg/working.documents.htm, 2003.
4. MPEG. Information technology-Multimedia framework (MPEG-21) - Part 5: Rights expression language (ISO/IEC 21000-5:2004). http://www.iso.ch/iso/en/, 2004.
5. A. Nerode and R. Shore. Logic for Applications. Springer-Verlag, New York, 2nd edition, 1997.