Nuovo DRM Paradiso : towards a verified fair DRM protocol

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

1 Downloads (Pure)

Samenvatting

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.
Originele taal-2Engels
TitelOnline Proceedings 1st Benelux Workshop on Information and System Security (WISSEC 2006, Antwerpen, Belgium, November 8-9, 2006)
UitgeverijKatholieke Universiteit Leuven
StatusGepubliceerd - 2006

Citeer dit

Jonker, H. L., Krishnan Nair, S., & Torabi Dashti, M. (2006). Nuovo DRM Paradiso : towards a verified fair DRM protocol. In Online Proceedings 1st Benelux Workshop on Information and System Security (WISSEC 2006, Antwerpen, Belgium, November 8-9, 2006) Katholieke Universiteit Leuven.