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.
|Title of host publication||Online Proceedings 1st Benelux Workshop on Information and System Security (WISSEC 2006, Antwerpen, Belgium, November 8-9, 2006)|
|Publisher||Katholieke Universiteit Leuven|
|Publication status||Published - 2006|