Automatic Support for Verification of Secure Transactions in Distributed Environment using Symbolic Model Checking

Automatic Support for Verification of Secure Transactions in Distributed Environment using Symbolic Model Checking

Journal of Computing and Information Technology - -2001

Authors

Di Sciascio Eugenio, Donini Francesco M., Mongiello Marina

DOI

https://doi.org/10.2498/cit.2001.03.03

BibTex 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"

}