STS-ml is the Socio-Technical Security modelling language for the specification of security and trustworthiness requirements of systems operating in a cross-organizational environment. The language is built on top of social concepts, such as role, agent, goal, delegation, authorization, etc. STS-Tool is the CASE tool for STS-ml, it is an Eclipse RCP application and supports multi-view modelling.

STS-ml Tutorial
STS-Tool Tutorial

For more information on the language and tool, visit the section Documentation