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)
C. Sprenger, M. Backes, D. Basin, B. Pfitzmann, and M. Waidner. CSFW '06: Proceedings of the 19th IEEE workshop on Computer Security Foundations, page 153--166. Washington, DC, USA, IEEE Computer Society, (2006)