A Formal Specification and Performance Evaluation of the Purchase Phase in the SET Protocol

Authors:
M. Carmen Ruiz;Diego Cazorla;Fernando Cuartero;Juan Jose Pardo
Affiliations:
Universidad de Castilla-La Mancha;Universidad de Castilla-La Mancha;Universidad de Castilla-La Mancha;Universidad de Castilla-La Mancha
Venue:
SYNASC '05 Proceedings of the Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
Year:
2005

Citing 0
Cited 1

Analysis of the SET e-commerce protocol using a true concurrency process algebra

Proceedings of the 2006 ACM symposium on Applied computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper reports the formal specification and performance evaluation of a phase in the Secure Electronic Transaction (SET), an e-commerce protocol by Visa and Master-Card.We focus on the purchase phase which is modelled by means of a True Concurrency Timed Process Algebra (BTC), which takes into account the number of resources that the system has at its disposal. Here, we extend its syntax with the intention of representing what actions use the shared resources and how many resources the system has at its disposal. We then give a performance evaluation of this model where some interesting results are presented.