Zhengqin Luo, Xiaojuan Cai, Jun Pang, Yuxin Deng. Analyzing an Electronic Cash Protocol Using Applied Pi Calculus. In Jonathan Katz, Moti Yung, editors, Applied Cryptography and Network Security, 5th International Conference, ACNS 2007, Zhuhai, China, June 5-8, 2007, Proceedings. Volume 4521 of Lecture Notes in Computer Science, pages 87-103, Springer, 2007. [doi]
Abstract is missing.