Nuovo DRM Paradiso: Towards a Verified Fair DRM Scheme

Muhammad Torabi Dashti, Srijith Krishnan Nair, Hugo L. Jonker. Nuovo DRM Paradiso: Towards a Verified Fair DRM Scheme. In Farhad Arbab, Marjan Sirjani, editors, International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings. Volume 4767 of Lecture Notes in Computer Science, pages 33-48, Springer, 2007. [doi]

Authors

Muhammad Torabi Dashti

This author has not been identified. Look up 'Muhammad Torabi Dashti' in Google

Srijith Krishnan Nair

This author has not been identified. Look up 'Srijith Krishnan Nair' in Google

Hugo L. Jonker

This author has not been identified. Look up 'Hugo L. Jonker' in Google