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

Proceedings of 23rd International Conference on Information Technology Interfaces, page 447--454 - 2001

BibTex references


@InProceedings{DDMP01c,
author = {Eugenio {Di Sciascio} and Francesco M. Donini and Marina Mongiello and Giacomo Piscitelli},
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://www-ictserv.poliba.it/publications/2001/DDM
P01c"
}

Other publications in the database

SisInf Lab - Information Systems Laboratory

Research group of Politecnico di Bari
Edoardo Orabona St, 4 Bari, Italy