An interoperable usage management framework

Proceedings of the ACM Conference on Computer and Communications Security

Volumn , Issue , 2010, Pages 73-87

  Jamkhedkar, Pramod A ^a   Heileman, Gregory L ^a   Lamb, Chris C ^a  

^a University of New Mexico   (United States)

Author keywords

access control; drm; formal methods; interoperability

Indexed keywords

DRM; FORMAL FRAMEWORK; FORMAL MODEL; FORMAL SEMANTICS; MANAGEMENT FRAMEWORKS; MANAGEMENT SYSTEMS; OPERATIONAL SEMANTICS; SYSTEM DESIGN;

ACCESS CONTROL; COMPUTER PROGRAMMING LANGUAGES; COPYRIGHTS; INTEROPERABILITY; MANAGEMENT; SECURITY SYSTEMS; SEMANTICS; SYSTEMS ANALYSIS;

FORMAL METHODS;

EID: 78650167730     PISSN: 15437221     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1866870.1866885     Document Type: Conference Paper

References (47)

1. Enabler release definition for DRM V2.0. Technical report, Open Mobile Alliance, 2003. xml.coverpages.org/OMA-ERELD-DRM-V2-0-0-20040401-D.eps.
2. Open digital rights language ODRL version 2 requirements. ODRL, Feb. 2005. odrl.net/2.0/v2req.html.
3. Marlin architecture overview. Technical report, 2006. http://www.marlin-community.com.
4. Sadeghi Ahmad-Reza and Christian Stuble. Taming trusted platforms by operating system design. Springer-Verlag, pages 286-302, 2004.
5. Harald Alverstrand. The role of the standards process in shaping the internet. Proceeding of the IEEE, 92(9):1371-1374, 2004.
6. Alapan Arnab and Andrew Hutchison. Persistent access control: A formal model for drm. In DRM '07: Proceedings of the 2007 ACM workshop on Digital Rights Management, pages 41-53, New York, NY, USA, 2007. ACM.
7. Adam Barth and John C. Mitchell. Managing digital rights using linear logic. In LICS '06: Proceedings of the 21st Annual IEEE Symposium on Logic in Computer Science, pages 127-136, Washington, DC, USA, 2006. IEEE Computer Society.
8. D. Elliott Bell and Leonard J. La Padula. Secure computer systems: Mathematical foundations, MTR-2547, Vol. I. Technical report, The MITRE Corporation, Bedford, MA, March 1, 1973. ESD-TR-73-278-I.
9. D. Elliott Bell and Leonard J. La Padula. Secure computer system: Unified exposition and multics interpretation, MTR-2997, Rev. 1. Technical report, The MITRE Corporation, Bedford, MA, March 1976. ESD-TR-75-306.
10. Marjory S. Blumenthal and David D. Clark. Rethinking the design of the Internet: The end-to-end arguments vs. the brave new world. ACM Transactions on Internet Technology, 1(1):70-109, Aug. 2001.
11. A. J. Bonner. A prolog framework for reasoning about permissions and obligations, with applications to contract law. Technical report, Rutgers University, 1988.
12. Amy Carroll, Mario Juarez, Julia Polk, and Tony Leininger. Microsoft palladium: A business overview. Technical report, Microsoft Content Security Business Unit, June 2002.
13. Cheun Ngen Chong, Ricardo Corin, Sandro Etalle, Pieter Hartel, Willem Jonker, and Yee Wei Law. LicenseScript: A novel digital rights language and its semantics. In Third International Conference on the Web Delivery of Music, pages 122-129, Los Alamitos, CA, Sept. 2003.
14. David D. Clark, John Wroclawski, Karen R. Sollins, and Robert Braden. Tussle in cyberspace: Defining tomorrow's internet. In SIGCOMM, pages 347-356, Pittsburg, Pennsylvania, USA, Aug. 2002.
15. Tim Clark. IBM closes unit, 2002. http://news.com.com/2100-1001-206465. html?legacy=cnet.
16. Coral consortium whitepaper. Technical report, Feb. 2006. www.coral-interop.org/main/news/Coral.whitepaper.eps.
17. Carl Gunter, Stephen Weeks, and Andrew Wright. Models and languages for digital rights. In HICSS '01: Proceedings of the 34th Annual Hawaii International Conference on System Sciences ( HICSS-34)-Volume 9, page 9076, Washington, DC, USA, 2001. IEEE Computer Society.
18. Joseph Y. Halpern and Vicky Weissman. A formal foundation for XrML licenses. In Proceedings of the 17th IEEE Computer Security Foundations Workshop, pages 251-265, Asilomar, CA, June 2004.
19. Joseph Y. Halpern and Vicky Weissman. A formal foundation for XrML. J. ACM, 55(1):1-42, 2008.
20. Gregory L. Heileman and Pramod A. Jamkhedkar. DRM interoperability analysis from the perspective of a layered framework. In Proceedings of the Fifth ACM Workshop on Digital Rights Management, pages 17-26, Alexandria, VA, Nov. 2005.
21. Gregory L. Heileman, Pramod A. Jamkhedkar, Joud Khoury, and Curtis J. Hrncir. DRM game. In Proceedings of the Seventh ACM Workshop on Digital Rights Management, pages 54-62, Alexandria, VA, Oct. 2007.
22. Gregory L. Heileman, Henry Jerez, Pramod A. Jamkhedkar, and Joud Khoury. Indirect DRM evaluation architecture. In Proceedings of the 5th International Workshop for Technical, Economic and Legal Aspects of Business Models for Virtual Goods, Koblenz, Germany, Oct. 2007.
23. Vincent Hu, David Ferraiolo, and Rick Kuhn. Assessment of Access Control Systems. Technical report, National Institute of Standards and Technology, Sep. 2006. csrc.nist.gov/publications/nistir/7316/NISTIR-7316.eps.
24. Helge Hundacker, Daniel Pahler, and Rudiger Grimm. URM - usage rights management. In Proceedings of the 7th International Workshop for Technical, Economic and Legal Aspects of Business Models for Virtual Goods, pages 125-138, Nancy, France, Sep. 2009.
25. Michael Huth and Mark Ryan. Logic in Computer Science: Modelling and Reasoning about Systems. Cambridge University Press, Cambridge, England, 2000.
26. Renato Iannella. Open digital rights language (ODRL), Version 0.5, Aug. 2000. odrl.net/ODRL-05.eps.
27. Pramod A. Jamkhedkar and Gregory L. Heileman. DRM as a layered system. In Proceedings of the Fourth ACM Workshop on Digital Rights Management, pages 11-21, Washington, DC, Oct. 2004.
28. Pramod A. Jamkhedkar and Gregory L. Heileman. Handbook of Research on Secure Multimedia Distribution, chapter Rights Expression Languages. IGI Publishing, 2008.
29. Pramod A. Jamkhedkar and Gregory L. Heileman. Digital rights management architectures. Computers Electrical Engineering, 35(2):376-394, 2009.
30. Pramod A. Jamkhedkar, Gregory L. Heileman, and Ivan Martinez-Ortiz. The problem with rights expression languages. In Proceedings of the Sixth ACM Workshop on Digital Rights Management, pages 59-67, Alexandria, VA, Nov. 2006.
31. Pramod A. Jamkhedkar, Gregory L. Heileman, and Ivan Martinez-Ortiz. Middleware services for DRM. In Proceedings of the 2nd International Conference on Communication Systems Software and Middleware, 2007. COMSWARE 2007., pages 1-8, Bangalore, India, Jan. 2007. IEEE.
32. Rob H. Koenen, Jack Lacy, Michael MacKay, and Steve Mitchell. The long march to interoperable digital rights management. Proceedings of the IEEE, 92(6):883-897, 2004.
33. Ulrich Kohl, Jeffrey Lotspiech, and Marc A. Kaplan. Safeguarding digital library contents and users: Protecting documents rather than channels. D-Lib Magazine, 3(9), Sept. 1997.
34. L. T. McCarty. A language for legal discourse I. basic features. In ICAIL '89: Proceedings of the 2nd international conference on Artificial intelligence and law, pages 180-189, New York, NY, USA, 1989. ACM.
35. D. L. McGuinness. Reasoning with permissions and obligations in contract law. Technical report, Rutgers University, 1986.
36. Jaehong Park and Ravi Sandhu. The UCONABC usage control model. ACM Trans. Inf. Syst. Secur., 7(1):128-174, 2004.
37. Josep Polo, Jose Prados, and Jaime Delgado. Interoperability between ODRL and MPEG-21 REL. In Proceedings of the first international ODRL workshop, Vienna, Austria, Apr. 2004.
38. Riccardo Pucella and Vicky Weissman. A logic for reasoning about digital rights. In Proceedings of the 15th IEEE Computer Security Foundations Workshop, pages 282-294, Nova Scotia, Canada, June 2002.
39. Riccardo Pucella and Vicky Weissman. Reasoning about dynamic policies. In Proceedings FoSSaCS-7, Springer Lecture Notes in Computer Science 2987, pages 453-467. Springer-Verlag, 2004.
40. Riccardo Pucella and Vicky Weissman. A formal foundation for ODRL, Jan. 2006. arxiv.org/abs/cs/0601085.
41. Reihaneh Safavi-Naini, Nicholas Paul Sheppard, and Takeyuki Uehara. Import/export in digital rights management. In Proceedings of the Fourth ACM Workshop on Digital Rights Management, pages 99-110, Washington, DC, Oct. 2004.
42. Andreas U. Schmidt, Omid Tafreschi, and Ruben Wolf. Interoperability challenges for DRM systems. In IFIP/GI Workshop on Virtual Goods, Ilmenau, Germany, 2004. http://virtualgoods.tu-ilmenau.de/2004/program.html.
43. Xin Wang. MPEG-21 rights expression language: Enabling interoperable digital rights management. IEEE Multimedia, 11(4):84-87, October/December 2004.
44. Jianwen Xiang, Dines Bjorner, and Kokichi Futatsugi. Formal digital license language with OTS/CafeOBJ method. In Proceedings of the sixth ACS/IEEE International Conference on Computer Systems and Applications, Doha, Qatar, Apr. 2008.
45. eXtensible Rights Markup Language (XrML) 2.0 Specification, November 2001. www.xrml.org.
46. XrML 2.0 technical overview, version 1.0, March 2002. www.xrml.org/reference/XrMLTechnicalOverviewV1.eps.
47. Zhiyong Zhang, Qingqi Pei, Jianfeng Ma, Lin Yang, and Kefeng Fan. Cooperative and non-cooperative game-theoretic analyses of adoptions of security policies for DRM. In Proceedings of the 6th Annual IEEE Consumer Communications and Networking Conference, pages 1-5, Las Vegas, NV, Jan. 2009.