digital rights management; formal verification; muCRL
Disciplines :
Sciences informatiques
Auteur, co-auteur :
Dashti, Muhammad Torabi
Nair, Srijith Krishnan
JONKER, Hugo ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Langue du document :
Anglais
Titre :
Nuovo DRM Paradiso: Towards a Verified Fair DRM Scheme
Date de publication/diffusion :
2007
Nom de la manifestation :
First International Symposium on Fundamentals of Software Engineering (FSEN'07)
Date de la manifestation :
2007
Manifestation à portée :
International
Titre de l'ouvrage principal :
Proc. First International Symposium on Fundamentals of Software Engineering (FSEN'07)
