Keyword : OMA


An Algorithm for Allocating User Requests to Licenses in the OMA DRM System
Nikolaos TRIANTAFYLLOU Petros STEFANEAS Panayiotis FRANGOS 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2013/06/01
Vol. E96-D  No. 6 ; pp. 1258-1267
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Formal Methods
Keyword: 
mobile DRMOMAorder of rights object evaluationCafeOBJsafetyinvariant properties
 Summary | Full Text:PDF