STS is a Security Requirements modeling tool. It is a standalone application written in Java, and its core is based on the Eclipse RCP Framework. STS supports security requirements modeling, automated analysis through Disjuntive Datalog, and automatic generation of documentation.
A SOCIAL AND ORGANISATIONAL APPROACH TO SECURITY ENGINEERING
Different perspectives of the model.
Automatic derivation of security requirements.
Visualization of analysis findings.
Security requirements document generation.