Article (Scientific journals)
Nuovo DRM Paradiso: Designing a Secure, Verified, Fair Exchange DRM Scheme
Torabi Dashti, Mohammad; Krishnan Nair, Srijith; Jonker, Hugo
2008In Fundamenta Informaticae, 89 (4), p. 393-417
Peer Reviewed verified by ORBi
 

Files


Full Text
FI08.pdf
Author preprint (235.06 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
digital rights management; formal verification; muCRL
Disciplines :
Computer science
Identifiers :
UNILU:UL-ARTICLE-2010-304
Author, co-author :
Torabi Dashti, Mohammad;  CWI Amsterdam
Krishnan Nair, Srijith;  Free University Amsterdam
Jonker, Hugo ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Language :
English
Title :
Nuovo DRM Paradiso: Designing a Secure, Verified, Fair Exchange DRM Scheme
Publication date :
2008
Journal title :
Fundamenta Informaticae
ISSN :
0169-2968
Publisher :
IOS Press
Volume :
89
Issue :
4
Pages :
393-417
Peer reviewed :
Peer Reviewed verified by ORBi
Available on ORBilu :
since 23 April 2013

Statistics


Number of views
55 (0 by Unilu)
Number of downloads
94 (0 by Unilu)

Scopus citations®
 
6
Scopus citations®
without self-citations
2

Bibliography


Similar publications



Contact ORBilu