Zhengqin Luo Xiaojuan Cai Jun Pang Yuxin Deng Analyzing an Electronic Cash Protocol Using Applied Pi Calculus. 87-103 2007 conf/acns/2007 ACNS http://dx.doi.org/10.1007/978-3-540-72738-5_6 db/conf/acns/acns2007.html#LuoCPD07