@inbook{125efb90d70948d6991d4492a9f5f635,
title = "STS-Tool: Security Requirements Engineering for Socio-Technical Systems",
abstract = "We present the latest version of STS-Tool, the modelling and analysis support tool for STS-ml, an actor- and goal-oriented security requirements modelling language for socio-technical systems. We show how the STS-Tool supports requirements analysts and security designers in (i) modelling socio-technical systems as a set of interacting actors, who have security needs over their interactions, and (ii) deriving security requirements for the system-to-be. The tool integrates a set of automated reasoning techniques that allow checking if a given STS-ml model is well-formed, verifying whether there are any conflicts among security requirements, and calculating the threat trace of events threatening actors{\textquoteright} assets. We first illustrate the modelling and reasoning activities supported by STS-ml, to then guide the design of a secure socio-technical system from the eGovernment domain through a series of exercises.",
author = "Elda Paja and Fabiano Dalpiaz and Paolo Giorgini",
year = "2014",
doi = "10.1007/978-3-319-07452-8_3",
language = "English",
isbn = "978-3-319-07451-1",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
number = "8431",
pages = "65--96",
editor = "M. Heisel and W. Joosen and J. Lopez and F. Martinelli",
booktitle = "Engineering Secure Future Internet Services and Systems - Current Research",
}