@inproceedings{TKJ07,
  author        = {Torabi Dashti, M. and Krishnan Nair, S. and H. L. Jonker},
  title         = {{Nuovo DRM Paradiso: Towards a Verified Fair DRM Scheme}},
  booktitle     = {Proc.\ First International Symposium on Fundamentals of Software Engineering (FSEN'07)},
  publisher     = {Springer-Verlag},
  series        = {LNCS},
  volume        = {4767},
  year          = {2007},
  pages         = {33-48},
  ee            = {http://dx.doi.org/10.1007/978-3-540-75698-9_3},
  bibsource     = {DBLP, http://dblp.uni-trier.de}
}