Pages that link to "Item:Q866173"
From MaRDI portal
The following pages link to A formal model of fair exchange protocols (Q866173):
Displaying 9 items.
- Formal analysis and design of multi-party fair exchange protocols (Q882700) (← links)
- Cryptanalysis of the Wu-Varadhrajan fair exchange protocol (Q1014415) (← links)
- Linearized formulations for failure aware barter exchange (Q2128774) (← links)
- Formal verification technique for grid service chain model and its application (Q2644410) (← links)
- (Q4472416) (← links)
- (Q4484211) (← links)
- (Q4950034) (← links)
- Financial Cryptography and Data Security (Q5712254) (← links)
- A Generic Framework for Accountable Optimistic Fair Exchange Protocol (Q6108621) (← links)