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.
CITATION STYLE
Chen, Q., Zhang, C., & Zhang, S. (2004). Verifying the payment authorization in SET protocol. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2690, 914–918. https://doi.org/10.1007/978-3-540-45080-1_129
Mendeley helps you to discover research relevant for your work.