Verifying the payment authorization in SET protocol

Publication Type:
Conference Proceeding
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2004, 2690 pp. 914 - 918
Issue Date:
Filename Description Size
Thumbnail2003001879.pdf660.87 kB
Adobe PDF
Full metadata record
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. © Springer-Verlag 2003.
Please use this identifier to cite or link to this item: