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

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

Browse the full SAC paper archive.