Verifying the Purchase Request in SET Protocol

Springer-Verlag Berlin Heidelberg
Publication Type:
Conference Proceeding
Web Technologies and Applications. 5th Asia-Pacific Web Conference, APWeb2003 Proceedings (Lecture Notes in Computer Science Vol 2642), 2003, pp. 263 - 274
Issue Date:
Full metadata record
Files in This Item:
Filename Description Size
Thumbnail2003001977.pdf1.03 MB
Adobe PDF
The Secure Electronic Transaction (SET) protocol has been jointly developed by Visa and MasterCard toward achieving secure online-transactions. This paper presents formal verification of the Purchase Request phase of SET, by using ENDL (extension of non-monotonic logic). The analysis unveils some potential flaws. To overcome these vulnerabilities, some feasible countermeasures are proposed accordingly during the validation. Also, the modelling of Purchase Request is described to implement the mechanically model checking instead of manual verification
Please use this identifier to cite or link to this item: