Computer-Aided Support for Secure Tropos

Download Now
Provided by: Kluwer Academic Publishers
Topic: Security
Format: PDF
In earlier paper, the authors have introduced Secure Tropos, a requirements engineering methodology that extends the Tropos methodology and is intended for the design and analysis of security requirements. This paper briefly recaps the concepts proposed for capturing security aspects, and presents an implemented graphical CASE tool that supports the Secure Tropos methodology. Specifically, the tool supports the creation of Secure Tropos models, their translation to formal specifications, as well as the analysis of these specifications to ensure that they comply with specific security properties.
Download Now

Find By Topic