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.