A formal model of fair exchange protocols
From MaRDI portal
Recommendations
- Formal analysis and design of multi-party fair exchange protocols
- scientific article; zbMATH DE number 1440048
- Model checking under fairness in ProB and its application to fair exchange protocols
- scientific article; zbMATH DE number 1950630
- A generic framework for accountable optimistic fair exchange protocol
- A Generic Framework for Accountable Optimistic Fair Exchange Protocol
- Financial Cryptography and Data Security
- Formal modeling and analysis of fairness characterization of E-commerce protocols
Cited in
(13)- Cryptanalysis of the Wu-Varadhrajan fair exchange protocol
- Linearized formulations for failure aware barter exchange
- Formal modeling and analysis of fairness characterization of E-commerce protocols
- Formal verification technique for grid service chain model and its application
- scientific article; zbMATH DE number 1950630 (Why is no real title available?)
- scientific article; zbMATH DE number 2080180 (Why is no real title available?)
- scientific article; zbMATH DE number 2080499 (Why is no real title available?)
- scientific article; zbMATH DE number 2080500 (Why is no real title available?)
- scientific article; zbMATH DE number 1927319 (Why is no real title available?)
- scientific article; zbMATH DE number 1440048 (Why is no real title available?)
- Financial Cryptography and Data Security
- A Generic Framework for Accountable Optimistic Fair Exchange Protocol
- Formal analysis and design of multi-party fair exchange protocols
This page was built for publication: A formal model of fair exchange protocols
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q866173)
