Analysis and design of off-line electronic payment systems by C. Radu