Nuovo DRM Paradiso : towards a verified fair DRM protocol

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

Nuovo DRM Paradiso : towards a verified fair DRM protocol

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

Formal System Analysis

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic

1 Downloads (Pure)

Originele taal-2	Engels
Titel	Online Proceedings 1st Benelux Workshop on Information and System Security (WISSEC 2006, Antwerpen, Belgium, November 8-9, 2006)
Uitgeverij	Katholieke Universiteit Leuven
Status	Gepubliceerd - 2006

Citeer dit

@inproceedings{06a562c4ef1542ceb458961426b3ae80,

title = "Nuovo DRM Paradiso : towards a verified fair DRM protocol",

author = "H.L. Jonker and {Krishnan Nair}, S. and {Torabi Dashti}, M.",

year = "2006",

language = "English",

booktitle = "Online Proceedings 1st Benelux Workshop on Information and System Security (WISSEC 2006, Antwerpen, Belgium, November 8-9, 2006)",

publisher = "Katholieke Universiteit Leuven",

address = "Belgium",

}

Nuovo DRM Paradiso : towards a verified fair DRM protocol. / Jonker, H.L.; Krishnan Nair, S.; Torabi Dashti, M.
Online Proceedings 1st Benelux Workshop on Information and System Security (WISSEC 2006, Antwerpen, Belgium, November 8-9, 2006). Katholieke Universiteit Leuven, 2006.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic