Pages that link to "Item:Q882700"
From MaRDI portal
The following pages link to Formal analysis and design of multi-party fair exchange protocols (Q882700):
Displaying 7 items.
- State and progress in strand spaces: proving fair exchange (Q437028) (← links)
- A formal model of fair exchange protocols (Q866173) (← links)
- Fairness analysis for multiparty nonrepudiation protocols based on improved strand space (Q2321532) (← links)
- Attacking fair-exchange protocols: parallel models vs. trace models (Q2841217) (← links)
- (Q4472416) (← links)
- (Q4950034) (← links)
- Financial Cryptography and Data Security (Q5712254) (← links)