Doorgaan naar hoofdnavigatie Doorgaan naar zoeken Ga verder naar hoofdinhoud

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

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

Onderzoeksoutput: Boek/rapportRapportAcademic

73 Downloads (Pure)
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
Aantal pagina's29
StatusGepubliceerd - 2006

Publicatie series

NaamComputer science reports
Volume0610
ISSN van geprinte versie0926-4515

Citeer dit