Abstract
How do we pay for things on the Internet? The way it is done now is using SSL. SSL is a fairly straightforward protocol, at least it’s straightforward enough to have already been analysed using methods that I like, but it isn’t really a satisfactory way. Now the SET protocol is a very complicated thing, its take-up has been very low at present, and it may be that it is not the protocol which will eventually solve this problem. What is certain is that some better protocol than SSL will appear. I think that ordinary customers are going to demand it, and even small vendors as well, because just sending your credit card number isn’t really a very happy solution.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Paulson, L.C. (2001). Making Sense of Specifications: The Formalization of SET. In: Christianson, B., Malcolm, J.A., Crispo, B., Roe, M. (eds) Security Protocols. Security Protocols 2000. Lecture Notes in Computer Science, vol 2133. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44810-1_12
Download citation
DOI: https://doi.org/10.1007/3-540-44810-1_12
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42566-3
Online ISBN: 978-3-540-44810-5
eBook Packages: Springer Book Archive