Nuovo DRM Paradiso: Towards a Verified Fair DRM Scheme

13 years 8 months ago

We formally specify the recent DRM scheme of Nair et al. in the

Muhammad Torabi Dashti, Srijith Krishnan Nair, Hug

Extended Scheme | FSEN 2007 | Nair Et Al | Process Algebraic Language | Software Engineering |

claim paper

Related Content

Added	16 Aug 2010
Updated	16 Aug 2010
Type	Conference
Year	2007
Where	FSEN
Authors	Muhammad Torabi Dashti, Srijith Krishnan Nair, Hugo L. Jonker

Comments (0)