Pages that link to "Item:Q861699"
From MaRDI portal
The following pages link to Formal analysis of multiparty contract signing (Q861699):
Displaying 13 items.
- Doomsday equilibria for omega-regular games (Q528193) (← links)
- A game-theoretic framework for specification and verification of cryptographic protocols (Q607405) (← links)
- Assume-guarantee synthesis for digital contract signing (Q736809) (← links)
- Compositional analysis of contract-signing protocols (Q860896) (← links)
- Deductive verification of alternating systems (Q939163) (← links)
- Finite-state analysis of two contract signing protocols (Q1603658) (← links)
- On the efficiency of multi-party contract signing protocols (Q1799248) (← links)
- Fair multi-party contract signing using private contract signatures (Q2482447) (← links)
- Multiparty contract signing over a reliable network (Q2804932) (← links)
- The ASW protocol revisited: a unified view (Q2848042) (← links)
- Deciding strategy properties of contract-signing protocols (Q2946605) (← links)
- Mechanical proofs about BW multi-party contract signing protocol (Q3443205) (← links)
- STACS 2005 (Q5710671) (← links)