The verification of an industrial payment protocol: the SET purchase phase - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Giampaolo Bella' in GoogleThis author has not been identified. Look up 'Lawrence C. Paulson' in GoogleThis author has not been identified. Look up 'Fabio Massacci' in Google

runs on WebDSL