Applying spi-calculus for PayWord

MaRDI QIDQ2909014zbMATH OpenFDO

Authors László Aszalós, Andrea Huszti

Publication date 29 August 2012

zbMATH Keywords

spi-calculusmicropaymentPayWord

Mathematics Subject Classification ID

Cryptography (94A60)

Recommendations

• Computational and Information Science
• A calculus for cryptographic protocols: The spi calculus
• scientific article; zbMATH DE number 1024091
• scientific article; zbMATH DE number 2087629
• Analyzing an Electronic Cash Protocol Using Applied Pi Calculus

Cited in

(4)

• scientific article; zbMATH DE number 1953034 (Why is no real title available?)
• Implementing Spi Calculus Using Nominal Techniques
• Analyzing an Electronic Cash Protocol Using Applied Pi Calculus
• Computational and Information Science

This page was built for publication: Applying spi-calculus for PayWord

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