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