University of Toledo
A Socio-Technical System (STS) is interplay of humans, organizations and technical systems. STSs consist of interacting actors, which depend on one another to achieve their objectives. In previous paper, they have proposed STS-ml, a security requirements modelling language for the design of secure STSs. STS-ml represents security requirements as constraints over the interactions among actors in the STS. In this paper, they present the current version of STS-ml, which introduces further modelling primitives as well as sophisticated reasoning mechanisms to detect conflicts in security requirements.