Analysis Using Petri Nets for SKP - based SET Protocol


The KIPS Transactions:PartC, Vol. 8, No. 5, pp. 621-628, Oct. 2001
10.3745/KIPSTC.2001.8.5.621,   PDF Download:

Abstract

SET is one of the useful protocol for credit payment in the Electronic market. Since, the delivery problem is conformed to delivery cooperation not payment problem, the classic SET protocol didn't consider about the certification of delivery. But the environment of electronic market be changed to manage the sold, delivery and payment etc.. In this paper, based on this consider, we propose a new SET protocol which has an function to verify the delivery based on SKP and verify it after analyzed by Petri nets. Specially, we consider SKP between Customer, Merchant, and Acquirer for improve the verify function.


Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from September 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


Cite this article
[IEEE Style]
Y. J. Song, M. K. Seo, J. K. Lee, "Analysis Using Petri Nets for SKP - based SET Protocol," The KIPS Transactions:PartC, vol. 8, no. 5, pp. 621-628, 2001. DOI: 10.3745/KIPSTC.2001.8.5.621.

[ACM Style]
Yu Jin Song, Mi Kyoung Seo, and Jong Kun Lee. 2001. Analysis Using Petri Nets for SKP - based SET Protocol. The KIPS Transactions:PartC, 8, 5, (2001), 621-628. DOI: 10.3745/KIPSTC.2001.8.5.621.