Welcome to SecTro Website
SecTro Version 2.0 is a automated modelling tool that provides supports for Secure Tropos methodology for the development of secure Information System. SecTro allows modelling of all the stages of the Secure Tropos methodology by including all the concepts and notations through out the development process. SecTro also has additional mechanism for checking rules and constraints, and has included functionalities that assist developer in the learning process. Furthermore, SecTro improves interoperability by providing means to export diagram to PNG image format and XML, as well.