Formal verification of the merchant registration phase of the SET protocol.

Cheng, Xiaochun ORCID: https://orcid.org/0000-0003-0371-9646 and Ma, Xiao-Qi (2005) Formal verification of the merchant registration phase of the SET protocol. International Journal of Automation and Computing, 2 (2) . pp. 155-162. ISSN 1476-8186 [Article] (doi:10.1007/s11633-005-0155-5)

Abstract

This paper proposes a knowledge based approach to analyze protocols and describes the formal verification process of the Merchant Registration Phase of the Secure Electronic Transactions protocol, which is used to protect the secrecy of online purchases. Relevant concepts, functions, assumptions and rules are formalized using type theory. We model the knowledge of all legal participants and a malicious spy, then verify the security guarantee of the protocol. We incorporate domain heuristics to restrict the proof search in a large state space. The proposed method performs efficiently with our implementation using Isabelle/HOL. Work is continuing in collaboration with Oxford University.

Item Type: Article
Research Areas: A. > School of Science and Technology > Computer Science > Artificial Intelligence group
A. > School of Science and Technology > Computer and Communications Engineering
Item ID: 43
Useful Links:
Depositing User: Repository team
Date Deposited: 14 Oct 2008 14:33
Last Modified: 11 Nov 2019 14:41
URI: https://eprints.mdx.ac.uk/id/eprint/43

Actions (login required)

View Item View Item

Statistics

Downloads
Activity Overview
0Downloads
559Hits

Additional statistics are available via IRStats2.