Applying Algebraic Specifications on Digital Right Management Systems
  Digital Right Management (DRM) Systems have been created to meet the need for digital content protection and distribution. In this paper we present some of the directions of our ongoing research to apply algebraic specification techniques on mobile DRM systems. 
Nikolaos Triantafyllou, Katerina Ksystra, Petros Stefaneas and   Panayiotis Frangos
cs.LO