Giampaolo Bella, Lawrence C. Paulson, Fabio Massacci. The verification of an industrial payment protocol: the SET purchase phase. In Vijayalakshmi Atluri, editor, Proceedings of the 9th ACM Conference on Computer and Communications Security, CCS 2002, Washingtion, DC, USA, November 18-22, 2002. pages 12-20, ACM, 2002. [doi]
Abstract is missing.