Automatic Support for Verification of Secure Transactions in Distributed Environment using Symbolic Model Checking
Journal of Computing and Information Technology - -2001Authors
Di Sciascio Eugenio,
Donini Francesco M.,
Mongiello MarinaDOI
https://doi.org/10.2498/cit.2001.03.03BibTex references
@Article{DDM01,
author = "Di Sciascio, Eugenio and Donini, Francesco M. and Mongiello, Marina",
title = "Automatic Support for Verification of Secure Transactions in Distributed Environment using Symbolic Model Checking",
journal = "Journal of Computing and Information Technology",
number = "3",
volume = "9",
pages = "185--195",
year = "2001",
note = "Invited paper",
url = "http://sisinflab.poliba.it/Publications/2001/DDM01"
}