A verification model for electronic transaction protocols

Springer-Verlag Berlin
Publication Type:
Conference Proceeding
Advanced Web Technologies and Applications - APWEB'04, 2004, 3007 pp. 824 - 833
Issue Date:
Full metadata record
Files in This Item:
Filename Description Size
Thumbnail2004000113.pdf1.29 MB
Adobe PDF
Electronic transaction protocols have been found with subtle flaws. Recently, model checking has been used to verify electronic transaction protocols for the limitations of low efficiency and error prone in the traditional approaches. This paper proposes an extendable verification model to especially validate electronic transaction protocols. In particular, the verification model is able to deal with the inconsistency in transmitted messages. Thus, we can measure the incoherence in secure messages coming from different sources and at different moments and ensure the validity of verification result. We analyze two instances by using this model. The analyses uncover some subtle flaws in the protocols.
Please use this identifier to cite or link to this item: