Formal analysis of multiparty contract signing

DOI10.1007/S10817-005-9019-5MaRDI QIDQ861699zbMATH OpenOpenAlexFDO

Authors Rohit Chadha, Steve Kremer, Andre 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) Temporal logic (03B44) Authentication, digital signatures and secret sharing (94A62) Network protocols (68M12)

Recommendations

• Compositional analysis of contract-signing protocols
• Formal analysis of fairness for optimistic multiparty contract signing protocol
• On the efficiency of multi-party contract signing protocols
• STACS 2005
• Fair multi-party contract signing using private contract signatures
• Computationally Sound Analysis of a Probabilistic Contract Signing Protocol
• Finite-state analysis of two contract signing protocols

Cites work

• scientific article; zbMATH DE number 1617325 (Why is no real title available?)
• scientific article; zbMATH DE number 1670849 (Why is no real title available?)
• scientific article; zbMATH DE number 1418311 (Why is no real title available?)
• Alternating-time temporal logic
• Contract signing, optimism, and advantage
• Contract signing, optimism, and advantage.
• Finite-state analysis of two contract signing protocols
• Isabelle/HOL. A proof assistant for higher-order logic
• Reactively secure signature schemes
• Security analysis of efficient (Un-) fair non-repudiation protocols

Cited in

(16)

• Mechanical proofs about BW multi-party contract signing protocol
• STACS 2005
• Compositional analysis of contract-signing protocols
• Formal analysis of FPH contract signing protocol using colored Petri nets
• Assume-guarantee synthesis for digital contract signing
• A game-theoretic framework for specification and verification of cryptographic protocols
• On the efficiency of multi-party contract signing protocols
• Synthesizing protocols for digital contract signing
• Multiparty contract signing over a reliable network
• Finite-state analysis of two contract signing protocols
• Formal analysis of fairness for optimistic multiparty contract signing protocol
• Fair multi-party contract signing using private contract signatures
• Deciding strategy properties of contract-signing protocols
• The ASW protocol revisited: a unified view
• Computationally Sound Analysis of a Probabilistic Contract Signing Protocol
• Deductive verification of alternating systems

Describes a project that uses

Uses Software

• MOCHA
• PVS
• Isabelle/HOL

This page was built for publication: Formal analysis of multiparty contract signing

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