ST-Tool: a CASE tool for modeling and analyzing trust requirements

Authors:
P. Giorgini;F. Massacci;J. Mylopoulos;A. Siena;N. Zannone
Affiliations:
Department of Information and Communication Technology, University of Trento, Italy;Department of Information and Communication Technology, University of Trento, Italy;Department of Information and Communication Technology, University of Trento, Italy;Department of Information and Communication Technology, University of Trento, Italy;Department of Information and Communication Technology, University of Trento, Italy
Venue:
iTrust'05 Proceedings of the Third international conference on Trust Management
Year:
2005

Citing 3
Cited 1

Specifying and Analyzing Early Requirements: Some Experimental Results

RE '03 Proceedings of the 11th IEEE International Conference on Requirements Engineering
Tropos: An Agent-Oriented Software Development Methodology

Autonomous Agents and Multi-Agent Systems
Using a security requirements engineering methodology in practice: The compliance with the Italian data protection legislation

Computer Standards & Interfaces

Security and trust requirements engineering

Foundations of Security Analysis and Design III

Quantified Score

Hi-index	0.00

Visualization

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.