Compositional analysis of contract-signing protocolsOpen Website

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

Published: 2006, Last Modified: 12 May 2023Theor. Comput. Sci. 2006Readers: Everyone
0 Replies