Analyzing an Electronic Cash Protocol Using Applied Pi Calculus

DOI10.1007/978-3-540-72738-5_6MaRDI QIDQ3612372zbMATH OpenOpenAlexFDO

Authors Zhengqin Luo, Xiaojuan Cai, Jun Pang, Yuxin Deng

Publication date 10 March 2009

Published in Applied Cryptography and Network Security (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-72738-5_6

Mathematics Subject Classification ID

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

Recommendations

• Computational and Information Science
• Anonymous communication and anonymous cash
• Universal Electronic Cash
• Applying spi-calculus for PayWord
• scientific article; zbMATH DE number 1676637

Cited in

(5)

• Security issues in Sarkar's e-cash protocol
• Formalizing provable anonymity in Isabelle/HOL
• Applying spi-calculus for PayWord
• The Applied Pi Calculus
• Computational and Information Science

This page was built for publication: Analyzing an Electronic Cash Protocol Using Applied Pi Calculus

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