Verifying the SET purchase protocols

DOI10.1007/s10817-005-9018-6zbMath1104.68465OpenAlexW2035024861WikidataQ57382648 ScholiaQ57382648MaRDI QIDQ861698

Giampaolo Bella, Fabio Massacci, Lawrence Charles Paulson

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-9018-6

zbMATH Keywords

Secure Electronic Transaction

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Authentication, digital signatures and secret sharing (94A62)

Related Items (2)

Verifying the SET purchase protocols ⋮ Emerging Issues and Trends in Formal Methods in Cryptographic Protocol Analysis: Twelve Years Later

Uses Software

• Isabelle/HOL

Cites Work

• Verifying the SET purchase protocols
• A calculus for cryptographic protocols: The spi calculus
• Isabelle/HOL. A proof assistant for higher-order logic
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Verifying the SET purchase protocols