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

Journal of Computing and Information Technology, Volume 9, Number 3, page 185--195 - 2001

BibTex references


@Article{DDM01,
author = {Eugenio {Di Sciascio} and Francesco M. Donini and Marina Mongiello},
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"
}

Other publications in the database

SisInf Lab - Information Systems Laboratory

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