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 Disjunctive 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.
Enforcment of security requirements
Generation and analysis of procedural security policies.