Publications
Filter by
Open menu
1 result for
Ante Derek
Compositional analysis of contract signing protocols
Michael Backes
Anupam Datta
et al.
2005
CSF 2005