Making Sense of Specifications: The Formalization of SET (Transcript of Discussion)
Making Sense of Specifications: The Formalization of SET (Transcript of Discussion)
复制标题
理解规范：SET 的形式化（讨论记录）
DOI：
10.1007/3-540-44810-1_12
复制
发表时间：
2000
期刊：
影响因子：
--
通讯作者：
Lawrence Charles Paulson
中科院分区：
文献类型：
--
作者：
Lawrence Charles Paulson
我们如何在网上购物？现在的方法是使用SSL。SSL是一种相当简单的协议，至少它足够简单，可以使用我喜欢的方法进行分析，但它并不是一种真正令人满意的方法。现在SET协议是一个非常复杂的东西，目前它的使用率非常低，可能它并不是最终解决这个问题的协议。可以肯定的是，一定会出现比SSL更好的协议。我认为普通顾客会要求它，甚至小供应商也会要求它，因为仅仅发送你的信用卡号码并不是一个非常令人满意的解决方案。
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.