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