Goals

DIAMONDS will leverage systematic, model-based testing and monitoring approaches for security testing to enable highly secure systems by early testing and test automation. Advanced model-based security testing methods will allow the early identification of design vulnerabilities and efficient system/test design targeting security aspects.

All approaches will be validated in industry lead case studies. In DIAMONDS, six case studies have been defined:

• Banking (lead by itrust)
• Smart Cards (led by Gemalto)
• Industrial Automation (lead by Metso Automation)
• Radio Protocols (lead by THALES)
• Transport/Automotive (lead by Dornier Consulting)
•  Telecommunication (lead by Ericsson)