Algebraic specifications for OMA REL licenses

WiMob 2009 - 5th IEEE International Conference on Wireless and Mobile Computing Networking and Communication

Volumn , Issue , 2009, Pages 376-381

  Triantafyllou, Nikolaos ^a   Ouranos, Iakovos ^a   Stefaneas, Petros ^a  

^a NATIONAL TECHNICAL UNIVERSITY OF ATHENS   (Greece)

Author keywords

CafeOBJ; Mobile digital rights systems; OMA Rights Expression Language

Indexed keywords

ABSTRACT SYNTAX; ALGEBRAIC SPECIFICATION LANGUAGES; ALGEBRAIC SPECIFICATIONS; AUTOMATED TOOLS; CAFEOBJ; DIGITAL CONTENTS; DIGITAL RIGHTS; DIGITAL RIGHTS MANAGEMENT SYSTEM; FINE GRAINED; FORMAL SEMANTICS; MOBILE NETWORKS; OPEN MOBILE ALLIANCES; RIGHTS EXPRESSION LANGUAGE;

ALGEBRA; COMPUTER SCIENCE; COPYRIGHTS; FORMAL LOGIC; FORMAL METHODS; LINGUISTICS; MOBILE COMPUTING; SEMANTICS; SPECIFICATION LANGUAGES; SPECIFICATIONS; WIRELESS TELECOMMUNICATION SYSTEMS;

WIRELESS NETWORKS;

EID: 72849130774     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WiMob.2009.70     Document Type: Conference Paper

References (26)

1. Iannella, R.: Open Digital Rights Language (ODRL) version 1.1. Available at http://odrl.net/1.1/ODRL-11.pdf (2002)
2. ContentGuard: XrML 2.0 Technical Overview version 1.0. Available at http://www.xrml.org/Reference/XrMLTechnicalOverviewV1.pdf (2002)
3. Rightscom: The MPEG-21 Rights Expression Language-A Whitepaper. Available at http://www.xrml.org/reference/MPEG21-REL-whitepaper-Rightscom.pdf (2003)
4. th IEEE Workshop on Computer Security Foundations (CSFW '02), pp. 282 (2002)
5. th IEEE Workshop on Computer Security Foundations (CSFW '03), pp. 187-201 (2003)
6. R. M. Lee: International Contracting - A Formal Language Approach. In: Hawaii Int. Conf. on Systems Sciences, pp. 69-78 (1988).
7. R. Pucella, V. Weissman: A Formal Foundation for ODRL. Available at arxiv.org/abs/cs/0601085 (2006)
8. Open Mobile Alliance: OMA-TS-DRM-REL-V2-0-020060303-A Available at http://www.openmobilealliance.org (2006)
9. th Annual Hawaii Int. Conf. on System Sciences, pp. 5 (2001)
10. C. Gunter: Semantics of Programming Languages-Foundations of Computing. The MIT Press (1992)
11. Y. Arimoto, D. Bjørner, X. Chen, J. Xian.: Specifications of Digital Rights Languages. Japan Advanced Institute of Science and Technology (2006)
12. R. Diaconescu, K. Futatsugi.: CafeOBJ Report. World Scientific (1998)
13. C. George, P. Haff, K. Havenlund, A. Haxthausen, R. Milne, C. Nielsen, S. Prehn, K. Wagner: The RAISE Specification Language. The BCS Practitioner Series. Prentice-Hall (1992)
14. J. Xian, W. Kong, K. Ogata, K. Futatsugi: Formal Specifications of Licenses and Digital Rights Management Systems with OTS/CAFEOBJ method. Japan Advanced Institute of Science and Technology (2006)
15. K. Ogata, K. Futatsugi.: Proof scores in the OTS/CafeOBJ method. In: Proc. of the 6th IFIP WG6.1 Intl. Conf. on Formal Methods for Open Object-Based Distributed Systems, LNCS 2884, pp.170-184, Springer, (2003)
16. J.A. Goguen, J. Meseguer, Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations, Theoretical Computer Science 105 (1992) 217-273.
17. R. Diaconescu,: Behavioral Coherence in Object - Oriented Algebraic Specification. J. Universal Computer Science. 6(1), 74-96 (2000)
18. J. Goguen, G. Malcolm: A Hidden Agenda. Technical report, University of California at San Diego (1997)
19. A.Adelsbach and M. Rohe and A.R. Sadeghi Towards multilateral secure digital rights distribution Infrastructures, Digital Rights Management Workshop, 2005, pp 45-54
20. K. Deirdre, Mulligan and A. J. Burstein, Implementing Copyright Limitations in Rights Expression Languages, Digital Rights Management Workshop, 2002, pp 137-154
21. P. A. Jamkhedkar and G. L. Heileman, A formal conceptual model for rights, Digital Rights Management Workshop, 2008 pp. 29-38
22. A. B. LaMacchia Key Challenges in DRM: An Industry Perspective Microsoft Corporation One Microsoft Way Redmond, WA 98052-6399 USA bal@microsoft.com
23. A. Jamkhedkar, G. L. Heileman, I. M.O. Centro: The Problem with Rights Expression Languages
24. T. Sans, F. Cuppens, and N. C.Boulahia FORM: A Federated Rights Expression Model for Open DRM Frameworks GET/ENST Bretagne
25. I. Ouranos, P. Stefaneas, and P. Frangos, An Algebraic Framework for Modeling of Mobile Systems, IEICE Trans. Fund., Vol. E90-A, No. 9, pp. 1986-1999, Sep. 2007.
26. I. Ouranos, P. Stefaneas, Verifying Security Protocols for Sensor Networks using Algebraic Specification Techniques, In: Proc. CAI 2007, Thessalonica, Greece, May 2007, LNCS 4728, pp. 247-259, Springer.