The following pages link to (Q2754173):
Displaying 13 items.
- Extending concurrent signature to multiple parties (Q401477) (← links)
- Formal analysis of multiparty contract signing (Q861699) (← links)
- Formal analysis and design of multi-party fair exchange protocols (Q882700) (← links)
- Deductive verification of alternating systems (Q939163) (← links)
- On the efficiency of multi-party contract signing protocols (Q1799248) (← links)
- Concurrent signatures from a variety of keys (Q2151283) (← links)
- Fair multi-party contract signing using private contract signatures (Q2482447) (← links)
- Multiparty contract signing over a reliable network (Q2804932) (← links)
- Legally Fair Contract Signing Without Keystones (Q2822672) (← links)
- Deciding strategy properties of contract-signing protocols (Q2946605) (← links)
- Mechanical proofs about BW multi-party contract signing protocol (Q3443205) (← links)
- Electronic payment scheme to prevent the treachery (Q3443287) (← links)
- (Q4448417) (← links)