Brussel
Benelux Workshop on Information and System Security
Specification and Analysis of Embedded Systems

Jonker, H., Dashti, M.& Nair, S. K. (2006, January). Nuovo DRM Paradiso: Towards a verified, fair DRM protocol. Proceedings of the 1st Nuovo DRM Paradiso: Towards a Verified, Fair DRM Protocol.