SecTro: A CASE tool for modelling security in requirements engineering using Secure Tropos

Michalis Pavlidis, Shareeful Islam

Research output: Contribution to journalConference article


Secure Tropos is an extension of Tropos methodology, which considers security throughout the whole development process. The main concept of Secure Tropos is the security constraint that captures constraints regarding security. Similarly, the concepts of dependency, goal, task, resource, and capability were also extended with security in mind. In this paper we present the SecTro tool, a CASE tool that guides and supports the developers in the construction of the appropriate models of Secure Tropos.

Original languageEnglish
Pages (from-to)89-96
Number of pages8
JournalCeur Workshop Proceedings
Publication statusPublished - 1 Dec 2011
EventCAiSE Forum 2011 - London, United Kingdom
Duration: 22 Jun 201124 Jun 2011



  • CASE tools
  • Goal modelling
  • Requirements engineering
  • Secure Tropos
  • Security

Cite this