State and progress in strand spaces: proving fair exchange
type: Item
instance of: scholarly article
title: State and progress in strand spaces: proving fair exchange
zbMATH Open document ID: 1242.68100
author: Joshua D. Guttman
published in: Journal of Automated Reasoning
publication date: 2012-07-17T00:00:00Z
Mathematics Subject Classification ID: 68P25
Mathematics Subject Classification ID: 68M12
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 94A60
zbMATH DE Number: 6057738
zbMATH Keywords: cryptographic protocol analysis
zbMATH Keywords: strand spaces
zbMATH Keywords: verification
zbMATH Keywords: fair exchange
describes a project that uses: IMPS
MaRDI profile type: Publication
full work available at URL: s10817-010-9202-1
OpenAlex ID: W2044073799
cites work: Optimistic fair exchange of digital signatures
cites work: Q4418589
cites work: CONCUR 2003 - Concurrency Theory
cites work: Searching for Shapes in Cryptographic Protocols
cites work: IMPS: An interactive mathematical proof system
cites work: Q4941873
cites work: Cryptographic Protocol Composition via the Authentication Tests
cites work: Trustworthy Global Computing
cites work: Authentication tests and the structure of bundles.
cites work: Automatic Methods for Analyzing Non-repudiation Protocols with an Active Intruder
cites work: Optimal efficiency of optimistic contract signing
DOI: 10.1007/S10817-010-9202-1
description: scientific article; zbMATH DE number 6057738