Attacking fair-exchange protocols: parallel models vs. trace models

DOI10.1016/S1571-0661(04)00244-0MaRDI QIDQ2841217zbMATH OpenFDO

Authors Luigia Carlucci Aiello, Fabio Massacci

Publication date 24 July 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Cryptography (94A60) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• Security analysis of efficient (Un-) fair non-repudiation protocols
• Formal analysis and design of multi-party fair exchange protocols
• A tradeoff between safety and liveness for randomized coordinated attack protocols
• Fault Attacks on Pairing-Based Protocols: Revisited
• On Establishing and Fixing a Parallel Session Attack in a Security Protocol
• Cryptanalysis of the Wu-Varadhrajan fair exchange protocol
• Model checking under fairness in ProB and its application to fair exchange protocols
• Optimally efficient multi-party fair exchange and fair secure multi-party computation

Cites work

• scientific article; zbMATH DE number 1980915 (Why is no real title available?)
• scientific article; zbMATH DE number 1820675 (Why is no real title available?)
• The NRL Protocol Analyzer: An Overview
• Verifying security protocols as planning in logic programming

Cited in

(2)

• State and progress in strand spaces: proving fair exchange
• Model checking under fairness in ProB and its application to fair exchange protocols

Describes a project that uses

Uses Software

• NRL

This page was built for publication: Attacking fair-exchange protocols: parallel models vs. trace models

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