Verifying the Payment Authorization in SET Protocol

Springer-Verlag Berlin Heidelberg
Publication Type:
Conference Proceeding
Intelligent Data Engineering and Automated Learning. 4th International Conference, IDEAL 2003, 2003, pp. 914 - 918
Issue Date:
Full metadata record
Files in This Item:
Filename Description Size
Thumbnail2003001879.pdf660.87 kB
Adobe PDF
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
Please use this identifier to cite or link to this item: