Analysis of the SET e-commerce protocol using a true concurrency process algebra | Publicación