Muhammad Torabi Dashti Srijith Krishnan Nair Hugo L. Jonker Nuovo DRM Paradiso: Towards a Verified Fair DRM Scheme. 33-48 2007 conf/fsen/2007 FSEN http://dx.doi.org/10.1007/978-3-540-75698-9_3 db/conf/fsen/fsen2007.html#DashtiNJ07