Final Security Testing Tools

The DIAMONDS project focuses on model-based security testing of networked systems. Testing is the main method to reliably check that a software-based system meets its requirements with regard to functionality, security and performance. In this document we present the final state of security testing tools touched during DIAMONDS. The tools have been either fully developed during the project or their functionality enhanced.