Computer-aided Support for Secure Tropos