ST-Tool: A CASE tool for Security Requirements Engineering

Proceedings of the IEEE International Conference on Requirements Engineering

Volumn , Issue , 2005, Pages 451-452

  Giorgini, Paolo ^a   Massacci, Fabio ^a   Mylopoulos, John ^a   Zannone, Nicola ^a  

^a UNIVERSITY OF TRENTO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; MATHEMATICAL MODELS; SECURITY OF DATA;

SECURITY REQUIREMENTS ENGINEERING; ST-TOOLS;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 27644553216     PISSN: 1090705X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/re.2005.67     Document Type: Conference Paper

References (4)

1. P. Bresciani, P. Giorgini, F. Giunchiglia, J. Mylopoulos, and A. Perini. TROPOS: An Agent-Oriented Software Development Methodology. JAAMAS, 8(3):203-236, 2004.
2. A. Fuxman, L. Liu, M. Pistore, M. Roveri, and J. Mylopoulos. Specifying and analyzing early requirements: Some experimental results. In Proc. of RE'03, page 105. IEEE Press, 2003.
3. P. Giorgini, F. Massacci, J. Mylopoulos, and N. Zannone. Requirements Engineering meets Trust Management: Model, Methodology, and Reasoning. In Proc. of iTrust'04, LNCS 2995, pages 176-190. Springer-Verlag, 2004.
4. F. Massacci, M. Prest, and N. Zannone. Using a Security Requirements Engineering Methodology in Practice: The compliance with the Italian Data Protection Legislation. Comp. Standards A Interfaces, 27(5):445-455, 2005. An extended version is available as Technical report DIT-04-103 at eprints.biblio.unitn.it.