Maurizio Panti, Luca Spalazzi, Simone Tacconi, Salvatore Valenti
Automatic Verification of Security in Payment Protocols for Electronic Commerce
ICEIS, 2002.
@inproceedings{ICEIS-2002-PantiSTV,
author = "Maurizio Panti and Luca Spalazzi and Simone Tacconi and Salvatore Valenti",
booktitle = "{Proceedings of the Fourth International Conference on Enterprise Information Systems}",
pages = "968--974",
title = "{Automatic Verification of Security in Payment Protocols for Electronic Commerce}",
year = 2002,
}