M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo. A Formal Specification and Performance Evaluation of the Purchase Phase in the SET Protocol. In Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), 25-29 September 2005, Timisoara, Romania. pages 239-244, IEEE Computer Society, 2005. [doi]
Abstract is missing.