Formal analysis of multiparty contract signing
DOI10.1007/S10817-005-9019-5zbMATH Open1134.94372OpenAlexW2051588031MaRDI QIDQ861699FDOQ861699
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
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
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Authentication, digital signatures and secret sharing (94A62) Network protocols (68M12)
Cites Work
- Alternating-time temporal logic
- Isabelle/HOL. A proof assistant for higher-order logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Contract signing, optimism, and advantage.
- 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
Cited In (16)
- Mechanical proofs about BW multi-party contract signing protocol
- STACS 2005
- Formal analysis of FPH contract signing protocol using colored Petri nets
- Compositional analysis of contract-signing protocols
- Assume-guarantee synthesis for digital contract signing
- A game-theoretic framework for specification and verification of cryptographic protocols
- Synthesizing protocols for digital contract signing
- On the efficiency of multi-party contract signing protocols
- 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
Uses Software
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)
