À propos du programme de formation
Analyse des vulnérabilités connues et nouvellement identifiées, leur systématisation, développement de méthodes de recherche intelligente de nouvelles classes de vulnérabilités. Modélisation des politiques de sécurité de l'information, des menaces et des attaques, bases méthodologiques pour le développement de profils de protection. Méthodes de conception, de modélisation, d'analyse, de transformation de programmes pour identifier les vulnérabilités potentielles dans les systèmes logiciels en tenant compte des spécificités des phases du cycle de vie : développement des exigences, conception de l'architecture, développement du code logiciel, tests, vérification, certification et exploitation. Méthodes, algorithmes et outils d'analyse approfondie post-version de la sécurité des logiciels et matériels.