A verification model for electronic transaction protocols

Publication Type:
Conference Proceeding
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2004, 3007 pp. 824 - 833
Issue Date:
Filename Description Size
Thumbnail2004000113.pdf1.29 MB
Adobe PDF
Full metadata record
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. © Springer-Verlag Berlin Heidelberg 2004.
Please use this identifier to cite or link to this item: