ST-Tool: A CASE Tool for Modeling and Analyzing Trust Requirements

13 years 10 months ago

Download www.cs.toronto.edu

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.

Paolo Giorgini, Fabio Massacci, John Mylopoulos, A

Real-time Traffic

Agent-oriented Requirements Engineering | Graphical Tool | Information Management | ITRUST 2005 | Tool Allows Designers |

claim paper

» Modeling Security Requirements Through Ownership Permission and Delegation

» STTool A CASE Tool for Security Requirements Engineering

» Designing Security Requirements Models Through Planning

» A Comparative Study of Software Model Checkers as Unit Testing Tools An Industrial Case St...

» Modeling and Analyzing Security in the Presence of Compromising Adversaries

» A Genetic AlgorithmBased Stress Test Requirements Generator Tool and Its Empirical Evaluat...

» Effective Simulation Model Reuse a case study for AMHS modeling

» A Framework for Analyzing Composition of Security Aspects

Post Info
More Details (n/a)

Added	28 Jun 2010
Updated	28 Jun 2010
Type	Conference
Year	2005
Where	ITRUST
Authors	Paolo Giorgini, Fabio Massacci, John Mylopoulos, Alberto Siena, Nicola Zannone

Comments (0)

Sciweavers

ST-Tool: A CASE Tool for Modeling and Analyzing Trust Requirements

Agent-oriented Requirements Engineering | Graphical Tool | Information Management | ITRUST 2005 | Tool Allows Designers |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers