Nuovo DRM Paradiso : formal specification and verification of a DRM protocol

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

Research output: Book/ReportReportAcademic

Original languageEnglish
Place of PublicationAmsterdam
PublisherCentrum voor Wiskunde en Informatica
Number of pages28
Publication statusPublished - 2006

Publication series

NameCWI report. SEN-R : software engineering
Volume0602
ISSN (Print)1386-369X

Cite this

Jonker, H. L., Krishnan Nair, S., & Torabi Dashti, M. (2006). Nuovo DRM Paradiso : formal specification and verification of a DRM protocol. (CWI report. SEN-R : software engineering; Vol. 0602). Amsterdam: Centrum voor Wiskunde en Informatica.
Jonker, H.L. ; Krishnan Nair, S. ; Torabi Dashti, M. / Nuovo DRM Paradiso : formal specification and verification of a DRM protocol. Amsterdam : Centrum voor Wiskunde en Informatica, 2006. 28 p. (CWI report. SEN-R : software engineering).
@book{1fd7b3013d1048e9a2e7f797affa82bc,
title = "Nuovo DRM Paradiso : formal specification and verification of a DRM protocol",
author = "H.L. Jonker and {Krishnan Nair}, S. and {Torabi Dashti}, M.",
year = "2006",
language = "English",
series = "CWI report. SEN-R : software engineering",
publisher = "Centrum voor Wiskunde en Informatica",

}

Jonker, HL, Krishnan Nair, S & Torabi Dashti, M 2006, Nuovo DRM Paradiso : formal specification and verification of a DRM protocol. CWI report. SEN-R : software engineering, vol. 0602, Centrum voor Wiskunde en Informatica, Amsterdam.

Nuovo DRM Paradiso : formal specification and verification of a DRM protocol. / Jonker, H.L.; Krishnan Nair, S.; Torabi Dashti, M.

Amsterdam : Centrum voor Wiskunde en Informatica, 2006. 28 p. (CWI report. SEN-R : software engineering; Vol. 0602).

Research output: Book/ReportReportAcademic

TY - BOOK

T1 - Nuovo DRM Paradiso : formal specification and verification of a DRM protocol

AU - Jonker, H.L.

AU - Krishnan Nair, S.

AU - Torabi Dashti, M.

PY - 2006

Y1 - 2006

UR - http://oai.cwi.nl/oai/asset/10875/10875D.pdf

M3 - Report

T3 - CWI report. SEN-R : software engineering

BT - Nuovo DRM Paradiso : formal specification and verification of a DRM protocol

PB - Centrum voor Wiskunde en Informatica

CY - Amsterdam

ER -

Jonker HL, Krishnan Nair S, Torabi Dashti M. Nuovo DRM Paradiso : formal specification and verification of a DRM protocol. Amsterdam: Centrum voor Wiskunde en Informatica, 2006. 28 p. (CWI report. SEN-R : software engineering).