Algebraic specifications for OMA REL licenses

Triantafyllou, N; Ouranos, I; Stefaneas, P

dc.contributor.author	Triantafyllou, N	en
dc.contributor.author	Ouranos, I	en
dc.contributor.author	Stefaneas, P	en
dc.date.accessioned	2014-03-01T02:45:57Z
dc.date.available	2014-03-01T02:45:57Z
dc.date.issued	2009	en
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/32476
dc.subject	CafeOBJ	en
dc.subject	Mobile digital rights systems	en
dc.subject	OMA-Rights Expression Language	en
dc.subject.other	Abstract syntax	en
dc.subject.other	Algebraic specification languages	en
dc.subject.other	Algebraic specifications	en
dc.subject.other	Automated tools	en
dc.subject.other	CafeOBJ	en
dc.subject.other	Digital contents	en
dc.subject.other	Digital rights	en
dc.subject.other	Digital rights management system	en
dc.subject.other	Fine grained	en
dc.subject.other	Formal Semantics	en
dc.subject.other	Mobile networks	en
dc.subject.other	Open mobile alliances	en
dc.subject.other	Rights expression language	en
dc.subject.other	Algebra	en
dc.subject.other	Computer science	en
dc.subject.other	Copyrights	en
dc.subject.other	Formal logic	en
dc.subject.other	Formal methods	en
dc.subject.other	Linguistics	en
dc.subject.other	Mobile computing	en
dc.subject.other	Semantics	en
dc.subject.other	Specification languages	en
dc.subject.other	Specifications	en
dc.subject.other	Wireless telecommunication systems	en
dc.subject.other	Wireless networks	en
dc.title	Algebraic specifications for OMA REL licenses	en
heal.type	conferenceItem	en
heal.identifier.primary	10.1109/WiMob.2009.70	en
heal.identifier.secondary	http://dx.doi.org/10.1109/WiMob.2009.70	en
heal.identifier.secondary	5325239	en
heal.publicationDate	2009	en
heal.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. © 2009 IEEE.	en
heal.journalName	WiMob 2009 - 5th IEEE International Conference on Wireless and Mobile Computing Networking and Communication	en
dc.identifier.doi	10.1109/WiMob.2009.70	en
dc.identifier.spage	376	en
dc.identifier.epage	381	en