Avis de soutenance de Benjamin Somers

Mercredi 15.05.2024
Horaires :
De 09:30 à 11:30

Adresse :

IMT Atlantique - Campus de Brest - Petit amphithéâtre

Monsieur Benjamin Somers, du département informatique et du laboratoire LabSTICC, présentera ses travaux de recherche sur le sujet :

"Modélisation d'infrastructure informatique pour l'identification et la prévention des risques"

 

 

Avis de soutenance

En savoir +

Résumé : Les infrastructures informatiques font partie de notre vie quotidienne et ont gagné ces dernières décennies une importance capitale. Au coeur de notre système bancaire, de nos transports et de nos hôpitaux, leur omniprésence et les implications l iées à leur défaillance en font une cible privilégiée pour les attaquants. Au delà du risque de sécurité, ces infrastructures sont soumises à un ensemble de risques de sûreté, allant de l’aléa climatique à l’incendie industriel, en passant par la simple us ure des composants mécaniques. Ces risques, bien que prévisibles, ne sont pas toujours pris en compte par les entreprises et peuvent mener à des conséquences parfois catastrophiques. Nos travaux se positionnent tout au long du processus de gestion des risques. Nous défendons la thèse qu’une
modélisation correcte et exhaustive des infrastructures informatiques permet de déduire un ensemble de propriétés de sûreté et de sécurité constituant une analyse des risques satisfaisante du système d’information étudié . Nous proposons un ensemble de recommandations et de méthodes pour procéder collaborativement à la modélisation des infrastructures et à l’étude du risque. Enfin, nous présentons un langage de description d’infrastructures formellement spécifié, CL/I, fai sant le lien entre modèles d’infrastructures, outils de vérification formelle et supervision fonctionnelle

Organisateur(s)

Dans le cadre de la co accréditation de thèse d’IMT Atlantique au sein de l'école doctorale SPIN

 

Mots-clés: Modélisation d’infrastructure, gestion des risques, fédération de modèles, vérification formelle, sûreté et sécurité

Publié le 29.04.2024
 
 
 
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
13
 
14
 
15
 
16
 
17
 
18
 
19
 
20
 
21
 
22
 
23
 
24
 
25
 
26
 
27
 
28
 
29
 
30
 
31