A SOCIAL AND ORGANISATIONAL APPROACH TO SECURITY ENGINEERING
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.
![](/assets/images/home/feature_icon_1.png)
Multiple Views
Different perspectives of the model.
![](/assets/images/home/feature_icon_2.png)
Security requirements
Automatic derivation of security requirements.
![](/assets/images/home/feature_icon_3.png)
Automated analysis
Visualization of analysis findings.
![](/assets/images/home/feature_icon_4.png)
Document Generation
Security requirements document generation.
![](/assets/images/home/feature_icon_5.png)
Enforcment of security requirements
Generation and analysis of procedural security policies.