Handbook of Truly Concurrent Process Algebra

Chapter 30: Analyses of digital cash protocols

Abstract

This chapter introduces the modeling of digital cash protocols based on truly concurrent process algebra.

Keywords

Digital Cash Protocols; Process Algebra; True Concurrency

Digital cash makes it possible to use cash digitally. Digital cash may have the following six properties:

1. 1.  Independence. The digital cash is independent of the location, and can be used through the network;
2. 2.  Security. The digital cash cannot be copied and reused;
3. 3.  Privacy. The privacy of the owner of the digital cash is protected;
4. 4.  Off-line payment. The digital cash can be used off-line;
5. 5.  Transferability. The digital cash can be transferred to the other users;
6. 6.  Divisibility. The digital cash can be divided into ...