Pages that link to "Item:Q5712254"
From MaRDI portal
The following pages link to Financial Cryptography and Data Security (Q5712254):
Displaying 7 items.
- State and progress in strand spaces: proving fair exchange (Q437028) (← links)
- A formal model of fair exchange protocols (Q866173) (← links)
- Formal analysis and design of multi-party fair exchange protocols (Q882700) (← links)
- Fairness analysis for multiparty nonrepudiation protocols based on improved strand space (Q2321532) (← links)
- Formal analysis of fairness for optimistic multiparty contract signing protocol (Q2336896) (← links)
- Analysis of the Yahalom-Paulson protocol and its improvement (Q3014625) (← links)
- Fair Exchange Is Incomparable to Consensus (Q5505613) (← links)