Supported by the FET-Open IST Project AVISPA