Nuovo DRM Paradiso: Designing a Secure, Verified, Fair Exchange DRM Scheme

We introduce Nuovo DRM, a digital rights management scheme aimed to provide formal and practical security. The scheme is based on a recent DRM scheme, which we formally specify in the

• Type: Journal
• Year: 2008
• Where: FUIN
• Authors: Muhammad Torabi Dashti, Srijith Krishnan Nair, Hugo L. Jonker
• Keywords: FUIN 2008, Nuovo DRM, Original Scheme, Security