STS-Tool: Specifying and Reasoning over Socio-Technical Security Requirements

STS-Tool is the modelling and analysis support tool for STSml, our proposed actor- and goal-oriented security requirements modelling language for Socio-Technical Systems (STSs). STS-Tool allows designers to model an STS through high-level primitives, to express security constraints over the interactions between the actors in the STS, as well as to derive security requirements once the modelling is completed. 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 specication of security requirements is consistent, that is, there are no conicts among security requirements. We have implemented these techniques using disjuntive datalog programs.