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