Journal Articles
Theoretical Computer Science
Year : 2006
Mathieu Turuani : Connect in order to contact the contributor
https://inria.hal.science/inria-00104005
Submitted on : Thursday, October 5, 2006-4:08:57 PM
Last modification on : Monday, September 11, 2023-5:41:18 PM
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⟩
Collections
78
View
0
Download