Nuovo DRM Paradiso: Towards a Verified Fair DRM Scheme

Dashti, Muhammad Torabi; Nair, Srijith Krishnan; JONKER, Hugo

doi:10.1007/978-3-540-75698-9_3

Download

Paper published in a book (Scientific congresses, symposiums and conference proceedings)

Nuovo DRM Paradiso: Towards a Verified Fair DRM Scheme

Dashti, Muhammad Torabi; Nair, Srijith Krishnan; JONKER, Hugo

2007 • In Proc. First International Symposium on Fundamentals of Software Engineering (FSEN'07)

Peer reviewed

Permalink
https://hdl.handle.net/10993/578

DOI
10.1007/978-3-540-75698-9_3

Files (1)Send to Details Statistics Bibliography Similar publications

Files

Full Text

FSEN07.pdf

Author preprint (579.61 kB)

Download

All documents in ORBilu are protected by a user license.

Send to

RIS BibTex APA Chicago Permalink X Linkedin

Details

Keywords :

digital rights management; formal verification; muCRL

Disciplines :

Computer science

Author, co-author :

Dashti, Muhammad Torabi

Nair, Srijith Krishnan

JONKER, Hugo ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)

Language :

English

Title :

Nuovo DRM Paradiso: Towards a Verified Fair DRM Scheme

Publication date :

2007

Event name :

First International Symposium on Fundamentals of Software Engineering (FSEN'07)

Event date :

2007

Audience :

International

Main work title :

Proc. First International Symposium on Fundamentals of Software Engineering (FSEN'07)

Publisher :

Springer

ISBN/EAN :

978-3-540-75697-2

Collection name :

Lecture Notes in Computer Science 4767

Pages :

33-48

Peer reviewed :

Peer reviewed

Available on ORBilu :

since 23 April 2013

Statistics

Number of views

55 (0 by Unilu)

Number of downloads

151 (0 by Unilu)

More statistics

OpenCitations

OpenAlex citations