Architecture logicielle et détection d'anomalies

National audienceL'Ingénierie Dirigée par les Modèles (IDM), basée sur la notion de modèles, est une approche d'ingénierie logicielle qui permet de représenter de réduire les défauts qui surviennent pendant la conception et le développement de logiciels. Associée à la notion de sécurité, elle permet d'étendre les modèles par des mécanismes de contrôle d'accès pour satisfaire des besoins de sécurité. Le but de cette thèse vise à associer architecture logicielle et sécurité à partir des notions d'IDM et de proposer une approche afin de pouvoir détecter les anomalies et prendre les mesures appropriées. Il s'agit principalement d'identifier l'impact d'une attaque (les zones corrompues et indisponibles, ou celles qui vont l'être) afin de prendre des mesures adaptées à la situation