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

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

Proceedings of 23rd International Conference on Information Technology Interfaces - -2001

Authors

Di Sciascio Eugenio, Donini Francesco M., Mongiello Marina, Piscitelli Giacomo

DOI

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

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

}