Automatic Support for Verification of Secure Transactions in Distributed Environments using Symbolic Model Checking
Proceedings of 23rd International Conference on Information Technology Interfaces - -2001Authors
Di Sciascio Eugenio,
Donini Francesco M.,
Mongiello Marina, Piscitelli Giacomo
DOI
https://doi.org/10.2498/cit.2001.03.03BibTex references
@InProceedings{DDMP01c,
author = "Di Sciascio, Eugenio and Donini, Francesco M. and Mongiello, Marina and Piscitelli, Giacomo",
title = "Automatic Support for Verification of Secure Transactions in Distributed Environments using Symbolic Model Checking",
booktitle = "Proceedings of 23rd International Conference on Information Technology Interfaces",
pages = "447--454",
year = "2001",
publisher = "SRCE University Computing centre, University of Zagreb",
url = "http://sisinflab.poliba.it/Publications/2001/DDMP01c"
}