Paulson, Lawrence C. 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]. MSC: 68U99 Computing methodologies and applications 68M12 Network protocols 94A60 Cryptography Software:TAPS; Casper PDFBibTeX XMLCite \textit{L. C. Paulson}, Lect. Notes Comput. Sci. 2083, 5--12 (2001; Zbl 0988.68739) Full Text: Link