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

Published in: SAC (2006)

Keyphrases