Back to Search
Start Over
Nuovo DRM Paradiso : formal specification and verification of a DRM protocol
- Publication Year :
- 2006
- Publisher :
- Centrum voor Wiskunde en Informatica, 2006.
- Subjects :
- ComputingMilieux_LEGALASPECTSOFCOMPUTING
Subjects
Details
- Language :
- English
- Database :
- OpenAIRE
- Accession number :
- edsair.dedup.wf.001..899fc6f1245d55871b13edacf8476f97