Xiangxi Li, Yu Zhang, Yuxin Deng. Verifying Anonymous Credential Systems in Applied Pi Calculus. In Juan A. Garay, Atsuko Miyaji, Akira Otsuka, editors, Cryptology and Network Security, 8th International Conference, CANS 2009, Kanazawa, Japan, December 12-14, 2009. Proceedings. Volume 5888 of Lecture Notes in Computer Science, pages 209-225, Springer, 2009. [doi]
Abstract is missing.