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. © Springer-Verlag Berlin Heidelberg 2003.
CITATION STYLE
Ogata, K., & Futatsugi, K. (2003). Formal analysis of the iKP electronic payment protocols. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2609, 441–460. https://doi.org/10.1007/3-540-36532-x_25
Mendeley helps you to discover research relevant for your work.