2006
Nuovo DRM Paradiso: formal specification and verification of a DRM
Publication
Publication
We present a DRM-preserving content redistribution scheme, based on the NPGCT scheme, that provides fairness in unsupervised exchanges. The proposed scheme is formally specified, verified and shown to achieve its design goals. The NPGCT mechanism of detection and revocation of circumvented devices is also reexamined here
| Additional Metadata | |
|---|---|
| CWI | |
| Software Engineering [SEN] | |
| Organisation | Specification and Analysis of Embedded Systems |
|
Jonker, H., Nair, S. K., & Dashti, M. (2006). Nuovo DRM Paradiso: formal specification and verification of a DRM. Software Engineering [SEN]. CWI. |
|
