Applying spi-calculus for PayWord

zbMATH Open1245.94067MaRDI QIDQ2909014FDOQ2909014

Authors: László Aszalós, Andrea Huszti 

Publication date: 29 August 2012

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

zbMATH Keywords

spi-calculusmicropaymentPayWord

Mathematics Subject Classification ID

Cryptography (94A60)

Cited In (4)

• Title not available (Why is that?)
• 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)