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

M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan Jos Pardo

Browse the full SYNASC paper archive.