Reference : Nuovo DRM Paradiso: Designing a Secure, Verified, Fair Exchange DRM Scheme
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/577
Nuovo DRM Paradiso: Designing a Secure, Verified, Fair Exchange DRM Scheme
English
Torabi Dashti, Mohammad [CWI Amsterdam]
Krishnan Nair, Srijith [Free University Amsterdam]
Jonker, Hugo mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
2008
Fundamenta Informaticae
IOS Press
89
4
393-417
Yes (verified by ORBilu)
International
0169-2968
[en] digital rights management ; formal verification ; muCRL
Researchers
http://hdl.handle.net/10993/577

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
FI08.pdfAuthor preprint229.55 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.