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 Disjuntive 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.