English

Applying Algebraic Specifications on Digital Right Management Systems

Logic in Computer Science 2011-08-09 v1

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.

Cite

@article{arxiv.1108.1482,
  title  = {Applying Algebraic Specifications on Digital Right Management Systems},
  author = {Nikolaos Triantafyllou and Katerina Ksystra and Petros Stefaneas and Panayiotis Frangos},
  journal= {arXiv preprint arXiv:1108.1482},
  year   = {2011}
}

Comments

6 pages

R2 v1 2026-06-21T18:47:19.912Z