The Community for Technology Leaders
2011 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (2005)
Timisoara, Romania
Sept. 25, 2005 to Sept. 29, 2005
ISBN: 0-7695-2453-2
pp: 239-244
Diego Cazorla , Universidad de Castilla-La Mancha
M. Carmen Ruiz , Universidad de Castilla-La Mancha
Juan Jose Pardo , Universidad de Castilla-La Mancha
Fernando Cuartero , Universidad de Castilla-La Mancha
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.
INDEX TERMS
null
CITATION
Diego Cazorla, M. Carmen Ruiz, Juan Jose Pardo, Fernando Cuartero, "A Formal Specification and Performance Evaluation of the Purchase Phase in the SET Protocol", 2011 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, vol. 00, no. , pp. 239-244, 2005, doi:10.1109/SYNASC.2005.4
81 ms
(Ver 3.3 (11022016))