Applying Algebraic Specifications on Digital Right Management Systems

2011/08/06 by Triantafyllou, Nikolaos, Ksystra, Katerina, Stefaneas, Petros +1
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)

paper · doi:10.48550/arxiv.1108.1482

Abstract

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.

Related

• Digital rights management: a delicate balance between protection and accessibility
• A First Look at Digital Rights Management Systems for Secure Mobile Content Delivery
• A Logic for Reasoning about Digital Rights
• Usage Control Specification, Enforcement, and Robustness: A Survey
• SecureRights: A Blockchain-Powered Trusted DRM Framework for Robust Protection and Asserting Digital Rights