488 search results - page 1 / 98 » ST-Tool: A CASE Tool for Security Requirements Engineering |
RE
2005
Springer
13 years 10 months ago
2005
Springer
Security Requirements Engineering is emerging as a branch of Software Engineering, spurred by the realization that security must be dealt with early on during the requirements pha...
ITRUST
2005
Springer
13 years 10 months ago
2005
Springer
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 ...
ITRUST
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. When we model and analyze trust in organizations or information systems we have to take into account two different levels of analysis: social and individual. Social leve...
ASE
2008
13 years 5 months ago
2008
In the last years several efforts have been devoted by researchers in the Requirements Engineering community to the development of methodologies for supporting designers during req...
KBSE
2007
IEEE
13 years 11 months ago
2007
IEEE
We present tools to support model-based security engineering on both the model and the code level. In the approach supported by these tools, one firstly specifies the securitycr...