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