Abstract
The Secure Electronic Transaction (SET) protocol is a protocol designed to conduct safe business over Internet. We present formal verification of the Payment Authorization in SET by using ENDL (extension of non-monotonic logic) [1]. The analysis uncovers some subtle defects that may incur malicious attacks. To overcome these vulnerabilities, some feasible countermeasures are proposed accordingly.
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
Chen, Q.F., Zhang, C.Q., Zhang, S.C.: A Logical Framework ENDL for Verifying Secure Transaction Protocols. Journal of Knowledge and Information Systems. Springer, Heidelberg. (accepted) (forthcoming)
Needham, R., Schroeder, M.: Using Excryption for Authentication in Large Networks of Computers. Comm. of the ACM 21(12), 993–999 (1978)
Gritizalis, S.: Security Protocols over Open networks and distributed systems: Formal methods for their Analysis, Design, and Verification. Computer Communications 22(8), 695–707 (1999)
Bella, G., Massacci, F., Paulson, C., Tramontano, P.: Formal Verification of Cardholder Registration in SET. In: Cuppens, F., Deswarte, Y., Gollmann, D., Waidner, M. (eds.) ESORICS 2000. LNCS, vol. 1895, pp. 159–174. Springer, Heidelberg (2000)
Denning, D., Sacco, G.: Timestamp in Key Distribution Protocols. Communications of ACM 24(8), 533–536 (1981)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chen, Q., Zhang, C., Zhang, S. (2003). Verifying the Payment Authorization in SET Protocol. In: Liu, J., Cheung, Ym., Yin, H. (eds) Intelligent Data Engineering and Automated Learning. IDEAL 2003. Lecture Notes in Computer Science, vol 2690. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45080-1_129
Download citation
DOI: https://doi.org/10.1007/978-3-540-45080-1_129
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40550-4
Online ISBN: 978-3-540-45080-1
eBook Packages: Springer Book Archive