The Community for Technology Leaders
2009 IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (2009)
Marrakech, Morocco
Oct. 12, 2009 to Oct. 14, 2009
ISBN: 978-0-7695-3841-9
pp: 376-381
ABSTRACT
OMA-Digital Rights Management System is a standard proposed by Open Mobile Alliance for protecting digital content distributed through mobile networks. In such a system, licenses are written in an appropriate language and used to ensure the fine grained consumption of contents. We claim that the Rights Expression Language (OMA-REL) does not rely on formal semantics. To address this problem we propose an abstract syntax for OMA-REL and write an algebraic specification of it using CafeOBJ, an executable algebraic specification language, with the future goal the creation of automated tools that check the behavior of a set of licenses under a certain environment.
INDEX TERMS
Mobile Digital Rights Systems, OMARights Expression Language, CafeOBJ
CITATION

N. Triantafyllou, I. Ouranos and P. Stefaneas, "Algebraic Specifications for OMA REL Licenses," 2009 IEEE International Conference on Wireless and Mobile Computing, Networking and Communications(WIMOB), Marrakech, Morocco, 2009, pp. 376-381.
doi:10.1109/WiMob.2009.70
85 ms
(Ver 3.3 (11022016))