TY - GEN
T1 - A CASE tool to support automated modelling and analysis of security requirements, based on secure tropos
AU - Pavlidis, Michalis
AU - Islam, Shareeful
AU - Mouratidis, Haralambos
PY - 2012/1/1
Y1 - 2012/1/1
N2 - 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.
AB - 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.
KW - CASE tools
KW - Goal Modelling
KW - Requirements Engineering
KW - SecTro
KW - Secure Tropos
KW - Security
UR - http://www.scopus.com/inward/record.url?scp=84861141187&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-29749-6_7
DO - 10.1007/978-3-642-29749-6_7
M3 - Conference contribution with ISSN or ISBN
AN - SCOPUS:84861141187
SN - 9783642297489
T3 - Lecture Notes in Business Information Processing
SP - 95
EP - 109
BT - IS Olympics
PB - Springer-Verlag
T2 - CAiSE Forum 2011 on IS Olympics: Information Systems in a Diverse World
Y2 - 20 June 2011 through 24 June 2011
ER -