ST-Tool: A CASE Tool for Modeling and Analyzing Trust Requirements
Agentlink Clearinghouse is powered by GNU EPrints developed by the School of Electronics and Computer Science of the University of Southampton.
Type: Conference or Workshop Item (Poster)

Giorgini, P. and Massacci, F. and Mylopoulos, J. and Siena, A. and Zannone, N. (2005) ST-Tool: A CASE Tool for Modeling and Analyzing Trust Requirements. In: 3rd International Conference on Trust Management, 23 - 26 May 2005, Rocquencourt, France.

Full text not available from this archive.


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.

Deposited by Nicola Zannone on 12 April 2005

Archive Staff Only: edit this record


AgentLink is the European Commission's IST-funded Coordination Action for Agent-Based Computing
and is coordinated by the
University of Liverpool and University of Southampton
If you encounter any problems with these pages please contact