Authors: Elda Paja, Fabiano Dalpiaz, Mauro Poggianella, Paolo Giorgini, Pierluigi Roberti
Tags: 2013, conceptual modeling
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. STS-Tool allows designers to model a socio-technical system in terms of high-level primitives such as actor, goal, and delegation; to express security constraints over the interactions between the actors; and to derive security requirements once the modelling is done. The tool features a set of automated reasoning techniques for (i) checking if a given STS-ml model is well-formed, and (ii) determining if the specification of security requirements is consistent, that is, there are no conflicts among security requirements. These techniques have been implemented using disjuntive datalog programs. We have evaluated our tool through various industrial case studies.Read the full paper here: https://link.springer.com/chapter/10.1007/978-3-642-41924-9_45
