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.
Multiple Views
Different perspectives of the model.
Security requirements
Automatic derivation of security requirements.
Automated analysis
Visualization of analysis findings.
Document Generation
Security requirements document generation.
Enforcment of security requirements
Generation and analysis of procedural security policies.