Verifying the SET purchase protocols

DOI10.1007/S10817-005-9018-6MaRDI QIDQ861698zbMATH OpenOpenAlexWikidataFDO

Authors Giampaolo Bella, Fabio Massacci, Lawrence C. 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)

Recommendations

• scientific article; zbMATH DE number 1982662
• scientific article; zbMATH DE number 1759353
• scientific article; zbMATH DE number 1844576
• scientific article; zbMATH DE number 1962761
• A flaw in the electronic commerce protocol SET

Cites work

• A calculus for cryptographic protocols: The spi calculus
• scientific article; zbMATH DE number 2080051 (Why is no real title available?)
• scientific article; zbMATH DE number 1543300 (Why is no real title available?)
• scientific article; zbMATH DE number 1884407 (Why is no real title available?)
• Isabelle/HOL. A proof assistant for higher-order logic
• Verifying the SET purchase protocols

Cited in

(11)

• A flaw in the electronic commerce protocol SET
• Emerging issues and trends in formal methods in cryptographic protocol analysis: twelve years later
• scientific article; zbMATH DE number 1962761 (Why is no real title available?)
• scientific article; zbMATH DE number 1982662 (Why is no real title available?)
• scientific article; zbMATH DE number 1759353 (Why is no real title available?)
• scientific article; zbMATH DE number 1844576 (Why is no real title available?)
• scientific article; zbMATH DE number 1844577 (Why is no real title available?)
• scientific article; zbMATH DE number 1844580 (Why is no real title available?)
• An angent based approach to modeling the secure electronic transaction protocol
• Computational Science and Its Applications – ICCSA 2004
• Verifying the SET purchase protocols

Describes a project that uses

Uses Software

• Isabelle/HOL

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q861698)