Abstract | ||
---|---|---|
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 ?CRL process algebraic language. The original scheme stated the following security requirements: effectiveness, secrecy and resistance of content masquerading. We formalise these security requirements as well as strong fairness and formally check the original scheme against these requirements. This verification step uncovered several security weaknesses, which are addressed by Nuovo DRM. In addition to that, Nuovo DRM introduces several procedural practices to enhance the practical security of the scheme. A finite model of Nuovo DRM is subsequently model-checked and shown to satisfy its design requirements, including secrecy, fairness and resistance to content masquerading. |
Year | Venue | Keywords |
---|---|---|
2008 | Fundam. Inform. | crl process algebraic language,fair exchange drm scheme,following security requirement,digital rights management scheme,original scheme,nuovo drm,security requirement,recent drm scheme,practical security,nuovo drm paradiso,strong fairness,security weakness,model checking,formal verification,satisfiability,process algebra,digital rights management |
Field | DocType | Volume |
Computer security,Computer science,Secrecy,Theoretical computer science,Digital rights management,Formal verification | Journal | 89 |
Issue | ISSN | Citations |
4 | 0169-2968 | 6 |
PageRank | References | Authors |
0.81 | 24 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Mohammad Torabi Dashti | 1 | 133 | 14.24 |
Srijith K. Nair | 2 | 375 | 22.16 |
Hugo Jonker | 3 | 105 | 12.77 |