External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Secure Protocol Composition

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]

Authors

Anupam Datta

This author has not been identified. Look up 'Anupam Datta' in Google

Ante Derek

This author has not been identified. Look up 'Ante Derek' in Google

John C. Mitchell

This author has not been identified. Look up 'John C. Mitchell' in Google

Dusko Pavlovic

This author has not been identified. Look up 'Dusko Pavlovic' in Google
runs on