Formal analysis of multiparty contract signing
type: Item
instance of: scholarly article
title: Formal analysis of multiparty contract signing
zbMATH Open document ID: 1134.94372
author: Rohit Chadha
author: Steve Kremer
author: Andre Scedrov
published in: Journal of Automated Reasoning
publication date: 2007-01-30T00:00:00Z
Mathematics Subject Classification ID: 94A62
Mathematics Subject Classification ID: 68M12
Mathematics Subject Classification ID: 03B44
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 5119736
describes a project that uses: Isabelle/HOL
describes a project that uses: MOCHA
describes a project that uses: PVS
MaRDI profile type: Publication
full work available at URL: s10817-005-9019-5
OpenAlex ID: W2051588031
cites work: Alternating-time temporal logic
cites work: Reactively Secure Signature Schemes
cites work: Q2754173
cites work: CONCUR 2003 - Concurrency Theory
cites work: Contract signing, optimism, and advantage
cites work: Q4941873
cites work: Security analysis of efficient (Un-) fair non-repudiation protocols
cites work: Q2722062
cites work: Isabelle/HOL. A proof assistant for higher-order logic
cites work: Finite-state analysis of two contract signing protocols
DOI: 10.1007/S10817-005-9019-5
Recommended article: Compositional analysis of contract-signing protocols
Recommended article: Formal analysis of fairness for optimistic multiparty contract signing protocol
Recommended article: On the efficiency of multi-party contract signing protocols
Recommended article: STACS 2005
Recommended article: Fair multi-party contract signing using private contract signatures
Recommended article: Computationally Sound Analysis of a Probabilistic Contract Signing Protocol
Recommended article: Finite-state analysis of two contract signing protocols
description: scientific article; zbMATH DE number 5119736