Finite-state analysis of two contract signing protocols

DOI10.1016/S0304-3975(01)00141-4zbMath0997.68007MaRDI QIDQ1603658

John C. Mitchell, Vitaly Shmatikov

Publication date: 15 July 2002

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

model checkingformal methodsfair exchangeprotocol analysiscontract signingfinite-state analysis

Mathematics Subject Classification ID

Network protocols (68M12)

Related Items (7)

Synthesizing Protocols for Digital Contract Signing ⋮ Mechanical proofs about BW multi-party contract signing protocol ⋮ Compositional analysis of contract-signing protocols ⋮ Formal analysis of multiparty contract signing ⋮ On-the-Fly Model Checking of Fair Non-repudiation Protocols ⋮ LTL model checking for security protocols ⋮ Assume-guarantee synthesis for digital contract signing

Uses Software

• NRL

Cites Work

• Three systems for cryptographic protocol analysis
• Practical and provably secure release of a secret and exchange of signatures
• The NRL Protocol Analyzer: An Overview
• On the security of public key protocols
• Optimistic fair exchange of digital signatures
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Finite-state analysis of two contract signing protocols