×

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
Full Text: Link