ST-tool: A CASE tool for modeling and analyzing trust requirements

Lecture Notes in Computer Science

Volumn 3477, Issue , 2005, Pages 415-419

  Giorgini, P ^a   Massacci, F ^a   Mylopoulos, J ^a,b   Siena, A ^a   Zannone, N ^a  

^a UNIVERSITY OF TRENTO   (Italy)

^b UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; COMPUTER GRAPHICS; MATHEMATICAL MODELS; SECURITY OF DATA;

GRAPHICAL TOOLS; MODEL CHECKERS; TRUST MANAGEMENT; VISUAL MODELS;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 24944479237     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11429760_33     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. Mylopoulous, 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 & Interfaces, 2005. To Appear. An extended version is available as Technical report DIT-04-103 at eprints.biblio.unitn.it.