Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

Applying spi-calculus for PayWord

From MaRDI portal
Publication:2909014
Jump to:navigation, search

zbMATH Open1245.94067MaRDI QIDQ2909014FDOQ2909014


Authors: László Aszalós, Andrea Huszti Edit this on Wikidata


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)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2909014&oldid=15877357"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 3 February 2024, at 20:12. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki