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]
@inproceedings{BellaPM02,
title = {The verification of an industrial payment protocol: the SET purchase phase},
author = {Giampaolo Bella and Lawrence C. Paulson and Fabio Massacci},
year = {2002},
doi = {10.1145/586110.586113},
url = {http://doi.acm.org/10.1145/586110.586113},
tags = {protocol, C++},
researchr = {https://researchr.org/publication/BellaPM02},
cites = {0},
citedby = {0},
pages = {12-20},
booktitle = {Proceedings of the 9th ACM Conference on Computer and Communications Security, CCS 2002, Washingtion, DC, USA, November 18-22, 2002},
editor = {Vijayalakshmi Atluri},
publisher = {ACM},
isbn = {1-58113-612-9},
}