Formal Analysis of the iKP Electronic Payment Protocols
Formal Analysis of the iKP Electronic Payment Protocols
复制标题
iKP 电子支付协议的正式分析
DOI：
10.1007/3-540-36532-x_25
复制
发表时间：
2002
期刊：
影响因子：
--
通讯作者：
K. Futatsugi
中科院分区：
文献类型：
--
作者：
K. Ogata;K. Futatsugi
IKP(i-Key-Protocol，i=1，2，3)是一族支付协议，是SET的鼻祖之一。我们已经分析了房地产的IKP，如果收购者授权付款，那么相关的买家和卖家总是达成一致。我们发现，即使是2KP/3KP也不具有这种性质，并提出了对2KP/3KP进行修改的可能性。我们验证了修饰后的2KP/3KP具有这一性质。本文主要描述了该方法的验证过程。
iKP (i-Key-Protocol, i = 1,2,3) is a family of payment protocols and one of the ancestors of SET. We have analyzed iKP on the property that if an acquirer authorizes a payment, then both the buyer and seller concerned always agree on it. We have found that even 2KP/3KP do not possess the property and then proposed a possible modification of 2KP/3KP. We have verified that the modified 2KP/3KP possess the property. We mainly describe the verification in this paper.
ikp电子支付协议的缺陷及修改
DOI：
--
发表时间：
2003
期刊：
Information Processing Letters 86
影响因子：
--
作者：
Ogata;K.;Futatsugi;K.
通讯作者：
K.