Compositional Analysis of Contract Signing Protocols

Michael Backes , Anupam Datta, Ante Derek, John C. Mitchell, Mathieu Turuani

Theoretical Computer Science, 367 (1-2), pp. 33-56, 2006.

( BibTeX )