• Analyse des menaces et classification des attaques
  • Techniques de base en cryptographie (principes et exemples de chiffres symétriques et à clé publique)
  • Politiques de sécurité, contrôle d'accès et protocoles d'authentification à distance
  • Exemple de techniques et de systèmes

Ce cours illustre rapidement les concepts de la programmation distribuée sous deux angles:

- les outils de communication inter-processus à distance (socket BSD) et la réalisation d'applications client-serveur selon différents modèles (sequentiel, multi-entrées, à la demande, multi-thread, et de service inetd) avec différents protocoles sur IP (UDP et TCP).

- les principes des algorithmes distribuées (principes de causalité, d'ordre partie ou total, d'horloges virtuelles) avec illustration au travers des différents protocoles de diffusion (fiable , atomique) ainsi que  les protocoles de consensus distribués.


Les BE sont calqués sur les cours proposés et correspondent au développement d'applications de CHAT sur un  réseau de machines Linux.

Ce cours porte sur les concepts et les technique de sûreté de fonctionnement des systèmes informatiques, en particulier des systèmes embarqués critiques.

- terminologie et concepts de base

- architectures et techniques de tolérance aux fautes

- techniques de test et injection de fautes

- techniques de modélisation et de calcul de mesures

- TER