Exploring fair exchange protocols using specification animation

DOI10.1007/3-540-44456-4_16MaRDI QIDQ4472416zbMATH OpenFDO

Authors Peter Kearney, Colin A. Boyd

Publication date 4 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/1975/19750209.htm

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25)

Recommendations

• Some remarks on a fair exchange protocol
• A formal model of fair exchange protocols
• Formal analysis and design of multi-party fair exchange protocols
• On fairness in exchange protocols
• A generic framework for accountable optimistic fair exchange protocol
• A Generic Framework for Accountable Optimistic Fair Exchange Protocol
• An optimistic fair exchange protocol and its security in the universal composability framework

Cited in

(3)

• Designing a secure e-tender submission protocol
• Log your car: reliable maintenance services record
• Some remarks on a fair exchange protocol

This page was built for publication: Exploring fair exchange protocols using specification animation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4472416)