Abstract
By secure electronic transaction (SET) protocol, business and customers can construct different electronic commerce models on the Internet. In this paper, we propose a method based on Petri net models and techniques of software engineering to detect unusual electronic commerce transactions. Users can construct all electronic commerce transactions of business and customers by SET. Because of features and functions of SET, users can get security and verification on the network transactions. Using our proposed technique, electronic commerce designers can detect potential security flaws in transaction behavior on the Internet and find any electronic transaction problems that need to solve.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Visa International and MasterCard International, Secure Electronic Transaction specification (SET), Version 1. 0, May 1997.
R. Kalakota and A. Whinston, Electronic Commerce: A Manager’s Guide, Addison-Wesley, 1997.
R.F. Morgan, “An Internet Marketing Framework for the World Wide Web (WWW)”, Journal of Marketing Management, Vol. 12, pp. 757–775, 1996,.
C. Schlueter and M.J. Shaw, “A strategic framework for developing electronic commerce”, IEEE Internet Computing, pp. 20–28, Nov/Dec, 1997.
C.E. Landwehr and D.M. Goldschlag, “Security Issues in Networks with Internet Access”, Proceedings of the IEEE, Vol. 85, No. 12, December 1997.
W. Mougayar, Opening Digital Markets, McGraw-Hill, 1998.
J.L. Peterson, Petri Net Theory and The Modeling of Systems, Prentice-Hall, Englewood Cliffs, NJ, 1981.
Tadao Murata, “Petri Nets: Properties, Analysis, and Applications,” Proceedings of the IEEE, Vol. 77, No. 4, pp. 541–580, April 1989.
B. Bosik and M.U. Uyar, “Finite State Machine Based Formal Methods in Protocol Conformance Testing: from Theory to Implementation,” Computer Networks and ISDN Systems, Vol. 22, pp. 7–33, 1991.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer Japan
About this paper
Cite this paper
Wang, CC., Hung, J.C., Hung, LP. (2002). A Petri Nets Approach to Behavior Testing of SET Payment. In: Jin, Q., Li, J., Zhang, N., Cheng, J., Yu, C., Noguchi, S. (eds) Enabling Society with Information Technology. Springer, Tokyo. https://doi.org/10.1007/978-4-431-66979-1_12
Download citation
DOI: https://doi.org/10.1007/978-4-431-66979-1_12
Publisher Name: Springer, Tokyo
Print ISBN: 978-4-431-66981-4
Online ISBN: 978-4-431-66979-1
eBook Packages: Springer Book Archive