SET cardholder registration: The secrecy proofs (extended abstract). (English) Zbl 0988.68739
Goré, Rajeev (ed.) et al., Automated reasoning. 1st international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2083, 5-12 (2001).
For the entire collection see [Zbl 0968.00052].