Dominique Bolignano. Towards the Formal Verification of Electronic Commerce Protocols. In 10th Computer Security Foundations Workshop (CSFW 97), June 10-12, 1997, Rockport, Massachusetts, USA. pages 133-147, IEEE Computer Society, 1997. [doi]
@inproceedings{Bolignano97:0,
title = {Towards the Formal Verification of Electronic Commerce Protocols},
author = {Dominique Bolignano},
year = {1997},
url = {http://csdl.computer.org/comp/proceedings/csfw/1997/7990/00/79900133abs.htm},
tags = {protocol},
researchr = {https://researchr.org/publication/Bolignano97%3A0},
cites = {0},
citedby = {0},
pages = {133-147},
booktitle = {10th Computer Security Foundations Workshop (CSFW 97), June 10-12, 1997, Rockport, Massachusetts, USA},
publisher = {IEEE Computer Society},
}