AB - 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 nonmonotonic 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. © Springer-Verlag Berlin Heidelberg 2003. AU - Chen, Q AU - Zhang, C AU - Zhang, S AU - Li, C DA - 2003/12/01 EP - 274 JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) PY - 2003/12/01 SP - 263 TI - Verifying the purchase request in SET protocol VL - 2642 Y1 - 2003/12/01 Y2 - 2024/03/28 ER -