Verifying the Payment Authorization in SET Protocol
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) . The analysis uncovers some subtle defects that may incur malicious attacks. To overcome these vulnerabilities, some feasible countermeasures are proposed accordingly.
Unable to display preview. Download preview PDF.
- 1.Chen, Q.F., Zhang, C.Q., Zhang, S.C.: A Logical Framework ENDL for Verifying Secure Transaction Protocols. Journal of Knowledge and Information Systems. Springer, Heidelberg. (accepted) (forthcoming)Google Scholar
- 3.Gritizalis, S.: Security Protocols over Open networks and distributed systems: Formal methods for their Analysis, Design, and Verification. Computer Communications 22(8), 695–707 (1999)Google Scholar