The AMC3 project aims to automate certain stages of cybersecurity certification for defense software, from design to use. To achieve this, it uses automated verification techniques to generate evidence and build the assurance files that must be certified. The project’s results will be validated using two case studies and digital twins of the target environments. This innovative project, a priority for the Belgian Defense Ministry, involves government, academic, and industrial partners. It is expected to strengthen the security of defense software while stimulating research and international collaboration.
Domaine: Software industry ⊕
Innovation themes
View online : https://www.amc3.be/
