Nuovo DRM Paradiso : towards a verified fair DRM protocol

H.L. Jonker, S. Krishnan Nair, M. Torabi Dashti

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

1 Downloads (Pure)
Original languageEnglish
Title of host publicationOnline Proceedings 1st Benelux Workshop on Information and System Security (WISSEC 2006, Antwerpen, Belgium, November 8-9, 2006)
PublisherKatholieke Universiteit Leuven
Publication statusPublished - 2006

Cite this