Applying Algebraic Specifications on Digital Right Management Systems
Triantafyllou, Nikolaos, Katerina Ksystra, Petros Sotirios Stefaneas, Panayiotis Frangos · arXiv (Cornell University) · 2011
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.