Verifying the SET purchase protocols
type: Item
instance of: scholarly article
title: Verifying the SET purchase protocols
zbMATH Open document ID: 1104.68465
author: Giampaolo Bella
author: Fabio Massacci
author: Lawrence C. Paulson
published in: Journal of Automated Reasoning
publication date: 2007-01-30T00:00:00Z
Mathematics Subject Classification ID: 68P25
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 94A62
zbMATH DE Number: 5119735
zbMATH Keywords: Secure Electronic Transaction
describes a project that uses: Isabelle/HOL
MaRDI profile type: Publication
full work available at URL: s10817-005-9018-6
OpenAlex ID: W2035024861
Wikidata QID: Q57382648
cites work: A calculus for cryptographic protocols: The spi calculus
cites work: Q4472240
cites work: Q4798027
cites work: Isabelle/HOL. A proof assistant for higher-order logic
cites work: Q4520767
DOI: 10.1007/S10817-005-9018-6
description: scientific article; zbMATH DE number 5119735