1. Nair, S., Popescu, B., Gamage, C., Crispo, B., Tanenbaum, A.: Enabling DRM-preserving digital content redistribution. In: 7th IEEE Conf. E-Commerce Technology, pp. 151–158. IEEE CS, Los Alamitos (2005)
2. Halderman, J., Felten, E.: Lessons from the Sony CD DRM episode. In: The 15th USENIX Security Symposium, pp. 77–92 (2006)
3. Workshops in Computing Series;J.F. Groote,1995
4. Lecture Notes in Computer Science;S. Blom,2001
5. Blom, S., Calame, J., Lisser, B., Orzan, S., Pang, J., van de Pol, J., Torabi Dashti, M., Wijs, A.: Distributed analysis with μCRL. In: TACAS 2007 (to appear, 2007)