Formal verification of the merchant registration phase of the SET protocol.
Article
Cheng, X. and Ma, X. 2005. Formal verification of the merchant registration phase of the SET protocol. International Journal of Automation and Computing. 2 (2), pp. 155-162. https://doi.org/10.1007/s11633-005-0155-5
Type | Article |
---|---|
Title | Formal verification of the merchant registration phase of the SET protocol. |
Authors | Cheng, X. and Ma, X. |
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. |
Research Group | Artificial Intelligence group |
Publisher | Science Press, co-published with Springer-Verlag GmbH |
Journal | International Journal of Automation and Computing |
ISSN | 1476-8186 |
Publication dates | |
31 Dec 2005 | |
Publication process dates | |
Deposited | 14 Oct 2008 |
Accepted | 28 Sep 2005 |
Output status | Published |
Digital Object Identifier (DOI) | https://doi.org/10.1007/s11633-005-0155-5 |
Language | English |
Permalink -
https://repository.mdx.ac.uk/item/80v09
62
total views0
total downloads4
views this month0
downloads this month