1. Speaking of privacy;Landwher;IEEE Security and Privacy,2006
2. The verification of an industrial payment protocol: the SET purchase phase;Bella,2002
3. Verifying the SET registration protocols;Bella;IEEE Journal of Selected Areas in Communications,2003
4. Verifying the SET purchase protocols;Bella;Journal of Automated Reasoning,2006
5. Analysis of the SET e-commerce protocol using a true concurrency process algebra;Ruiz,2006