The following pages link to STACS 2005 (Q5710671):
Displaying 4 items.
- Compositional analysis of contract-signing protocols (Q860896) (← links)
- Formal analysis of multiparty contract signing (Q861699) (← links)
- On the efficiency of multi-party contract signing protocols (Q1799248) (← links)
- Deciding strategy properties of contract-signing protocols (Q2946605) (← links)