@inproceedings{b7694c2732d7499f9fc651520f70701a,
title = "ST-tool: A CASE tool for modeling and analyzing trust requirements",
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. {\textcopyright} Springer-Verlag Berlin Heidelberg 2005.",
author = "P. Giorgini and F. Massacci and J. Mylopoulos and A. Siena and N. Zannone",
year = "2005",
doi = "10.1007/11429760\_33",
language = "English",
series = "Lecture Notes in Computer Science",
publisher = "Springer Verlag",
pages = "415--419",
booktitle = "Trust Management: Third International Conference, iTrust 2005, Proceedings",
note = "Third International Conference on Trust Management, iTrust 2005 ; Conference date: 23-05-2005 Through 26-05-2005",
}