Compositional Analysis of Contract Signing Protocols - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Theoretical Computer Science Year : 2006

Dates and versions

inria-00104005 , version 1 (05-10-2006)

Identifiers

Cite

Michael Backes, Anupam Datta, Ante Derek, John C. Mitchell, Mathieu Turuani. Compositional Analysis of Contract Signing Protocols. Theoretical Computer Science, 2006, Theoretical Computer Science, ⟨10.1016/j.tcs.2006.08.039⟩. ⟨inria-00104005⟩
83 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More