P. Giorgini, F. Massacci, J. Mylopoulos, A. Siena, N. Zannone  Home/Search
Context Related
| dit.unitn.it/~zann...zann05iTrust.pdf Cached: PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PS.gz PS Image Update HelpFrom: dit.unitn.it/~zann...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: ST-Tool is a graphical tool integrating an agent-oriented requirements engineering methodology with tools for the formal analysis of models. Essentially, the tool allows designers to draw visual models representing functional, security and trust requirements of systems and, then, to verify formally and automatically their correctness and consistency through different model-checkers. (Update)
Cited by: More
Security and Trust Requirements Engineering - Paolo Giorgini Fabio (Correct)
Active bibliography (related documents): More All
0.2: ST-Tool: A CASE Tool for Security Requirements Engineering - Paolo Giorgini University (Correct)
0.1: Modeling Security Requirements through Ownership.. - Giorgini.. (2005) (Correct)
0.1: Filling the gap between Requirements Engineering.. - Giorgini.. (2004) (Correct)
Similar documents based on text:
5.0: Unknown - (Correct)
BibTeX entry: (Update)
P. Giorgini, F. Massacci, J. Mylopoulos, A. Siena, and N. Zannone. ST-Tool: A CASE Tool for Modeling and Analyzing Trust Requirements. In Proc. of iTrust'05, LNCS 3477, pages 415--419. Springer-Verlag, 2005. http://citeseer.ist.psu.edu/giorgini05sttool.html More
@misc{ giorgini05sttool,
author = "P. Giorgini and F. Massacci and J. Mylopoulos and A. Siena and N. Zannone",
title = "ST-Tool: A CASE Tool for Modeling and Analyzing Trust Requirements",
text = "P. Giorgini, F. Massacci, J. Mylopoulos, A. Siena, and N. Zannone. ST-Tool:
A CASE Tool for Modeling and Analyzing Trust Requirements. In Proc. of iTrust'05,
LNCS 3477, pages 415--419. Springer-Verlag, 2005.",
year = "2005",
url = "citeseer.ist.psu.edu/giorgini05sttool.html" }
Citations (may not include all citations):50 TROPOS: An AgentOriented Software Development Methodology - Bresciani, Giorgini et al. - 2004
15 Requirements Engineering meets Trust Management: Model - Giorgini, Massacci et al. - 2004
11 Specifying and analyzing early requirements: Some experiment.. - Fuxman, Liu et al. - 2003
11 Using a Security Requirements Engineering Methodology in Pra.. - Massacci, Prest et al. - 2005
Documents on the same site (http://dit.unitn.it/~zannone/publications.html): More
Hierarchical Hippocratic Databases with Minimal Disclosure for.. - Massacci (2006) (Correct)
Minimal Disclosure in Hierarchical Hippocratic.. - Massacci, Mylopoulos, .. (2005) (Correct)
Modeling Social and Individual Trust in - Requirements Engineering.. (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC