Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic. Secure Protocol Composition. In Stephen D. Brookes, Prakash Panangaden, editors, Proceedings of 19th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2003, Université de Montréal, QC, Canada, March 19-22, 2003. Volume 83 of Electronic Notes in Theoretical Computer Science, pages 201-226, Elsevier, 2003. [doi]
Abstract is missing.