A CASE tool to support automated modelling and analysis of security requirements
Book chapter
Pavlidis, Michalis, Islam, S. and Mouratidis, Haralambos 2012. A CASE tool to support automated modelling and analysis of security requirements. in: IS Olympics: Information Systems in a Diverse World Springer.
Authors | Pavlidis, Michalis, Islam, S. and Mouratidis, Haralambos |
---|---|
Abstract | Secure Tropos, an extension of the Tropos methodology, considers security requirements alongside functional requirements, from the early stages of the system development process. The Secure Tropos language uses security concepts such as security constraint, secure goal, secure plan, secure resource, and threat to capture the security concepts from both social and organisational settings. These concepts are used to model and reason about security for a specific system context. This paper presents a CASE tool, called SecTro, which supports automated modelling and analysis of security requirements based on Secure Tropos. The tool’s architecture, layout, and functionalities are demonstrated through a real world example using the Secure Tropos concepts. |
Keywords | security; goal modelling |
Book title | IS Olympics: Information Systems in a Diverse World |
Year | 2012 |
Publisher | Springer |
Publication dates | |
2012 | |
Publication process dates | |
Deposited | 04 May 2012 |
Series | Lecture Notes in Business Information Processing |
ISBN | 978-3-642-29749-6 |
978-3-642-29748-9 | |
ISSN | 1865-1348 |
Web address (URL) | http://hdl.handle.net/10552/1578 |
Additional information | Citation: |
Journal | Lecture Notes in Business Information Processing |
Accepted author manuscript | License CC BY-ND |
https://repository.uel.ac.uk/item/85zz4
Download files
116
total views80
total downloads0
views this month1
downloads this month