Nuovo DRM Paradiso : towards a verified fair DRM protocol

H.L. Jonker, S. Krishnan Nair, M. Torabi Dashti

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

1 Downloads (Pure)


The NPGCT DRM scheme, that proposes a unique concept of DRM-preserving content redistribution, has some security issues. These issues are addressed in this paper by an extension of NPGCT. A security mechanism that provides fairness in unsupervised exchanges is introduced, and the mechanism of detecting and revoking circumvented devices is reexamined devices. The resulting DRM scheme, Nuovo DRM, and its requirements are formally speci??ed. A ??nite model of the scheme is subsequently model-checked and shown to satisfy its design requirements.
Original languageEnglish
Title of host publicationOnline Proceedings 1st Benelux Workshop on Information and System Security (WISSEC 2006, Antwerpen, Belgium, November 8-9, 2006)
PublisherKatholieke Universiteit Leuven
Publication statusPublished - 2006

Cite this