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

descriptionPublicationkeyboard_double_arrow_right Part of book or chapter of book , Conference object , Article 01 Jan 2005 Italy, Netherlands Publisher:Springer Berlin Heidelberg

Authors: Giorgini, Paolo; Massacci, Fabio; Mylopoulos, Ioannis; Siena, Alberto; Zannone, Nicola;

doi: 10.1007/11429760_33

handle: 11572/64614

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

- Summary
- Metrics

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.

Countries

Italy, Netherlands

Related Organizations

University of Toronto
Canada
University of Trento
Italy
Technical University Eindhoven
Netherlands

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	3
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average