Attacking Fair-Exchange Protocols

DOI10.1016/S1571-0661(04)00244-0zbMath1268.94024MaRDI QIDQ2841217

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)

Uses Software

• NRL

Cites Work

• The NRL Protocol Analyzer: An Overview
• Verifying security protocols as planning in logic programming
• Unnamed Item
• Unnamed Item

This page was built for publication: Attacking Fair-Exchange Protocols