A. Datta, A. Derek, J. Mitchell, and D. Pavlovic. Proceedings of the 2003 ACM workshop on Formal methods in security engineering, page 11--23. New York, NY, USA, ACM, (2003)
A. Datta, A. Derek, J. Mitchell, and A. Roy. Electronic Notes in Theoretical Computer Science, 172 (0):
311 - 358(2007)<ce:title>Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin</ce:title>.
R. Canetti, L. Cheung, D. Kaynar, M. Liskov, N. Lynch, O. Pereira, and R. Segala. PROCEEDINGS THE 20TH INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING (DISC 2006). VOLUME 4167 OF LNCS., SPRINGER (2006) 238–253 INVITED PAPER, page 238--253. Springer, (2006)
J. Al-Muhtadi, R. Hill, R. Campbell, and M. Mickunas. Proceedings of the Fourth Annual IEEE International Conference on Pervasive Computing and Communications Workshops, page 283-288. IEEE Computer Society, (2006)