Formal analysis of multiparty contract signing

DOI10.1007/s10817-005-9019-5zbMath1134.94372OpenAlexW2051588031MaRDI QIDQ861699

Steve Kremer, Rohit Chadha, Andrej Scedrov

Publication date: 30 January 2007

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-005-9019-5

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Network protocols (68M12) Temporal logic (03B44) Authentication, digital signatures and secret sharing (94A62)

Related Items

Mechanical proofs about BW multi-party contract signing protocol ⋮ A game-theoretic framework for specification and verification of cryptographic protocols ⋮ Deductive verification of alternating systems ⋮ Doomsday equilibria for omega-regular games ⋮ Multiparty Contract Signing Over a Reliable Network ⋮ Assume-guarantee synthesis for digital contract signing

Uses Software

• Isabelle/HOL
• PVS
• MOCHA

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Isabelle/HOL. A proof assistant for higher-order logic
• Finite-state analysis of two contract signing protocols
• Contract signing, optimism, and advantage
• Security analysis of efficient (Un-) fair non-repudiation protocols
• Reactively Secure Signature Schemes
• Alternating-time temporal logic
• CONCUR 2003 - Concurrency Theory