Piscitelli, Giacomo
-
Vol 9, No 3 (2001): Special Issue on ITI 2001 - Information Technology Interfaces - Special Issue on ITI 2001 - Information Technology Interfaces
Automatic Support for Verification of Secure Transactions in Distributed Environment using Symbolic Model Checking
Abstract PDF