Architectures pour la sûreté de fonctionnement. – Algorithmes répartis pour la tolérance aux fautes. – modèle de panne dans les systèmes répartis.
s Une solution : l'utilisation de l'indicateur ACK en TCP. s Rappel : Fonctionnement de l'ACK. s ACK présent dans pratiquement tous les segments sauf
Support de cours Tome 1. G. Florin E. Gressier
Tolérance aux pannes / Sûreté de fonctionnement : spécification : comportement vérifiable par un ensemble de prédicats/des assertions qui tient.
Plan du cours. Sécurité des SEMs. La plate-forme et exemple (GameBoy Smart Card). Les propriétés de confidentialité
Sûreté de fonctionnement. Coût de l'indisponibilité. Classification des systèmes. Concepts et terminologie. Modes de défaillance. Grandeurs caractéristiques.
(latence de la faute) mais conduit à court ou Sûreté de fonctionnement et systèmes répartis ... Problème traité dans les cours de temps.
Protocoles de sécurité associés aux niveaux liaison et réseau s Objectif : réaliser des fonctions de sécurité pour un niveau. s Fonctionnement en mode
fonctionnement du réseau. • Assurer la sécurité des données internes au réseau. (particulièrement face aux attaques extérieures).
• [Laprie89] : “la sûreté de fonctionnement d’un système informatique est la propriété qui permet de placer une confiance justifiée dans le service qu’il délivre • Service rendu par le système : comportement perçu par l’utilisateur – environnement fonctionnel (procédéautre produit opérateur)
La sûreté de fonctionnement est un domaine d’activité qui propose des moyens pour augmenter la fiabilité et la sûreté des systèmes dans des délais courts et avec des coûts raisonnables V- Les entraves de la sûreté de fonctionnement Les entraves qui peuvent affecter le système et dégrader sa sûreté de fonctionnement
• [Laprie89] : “la sûreté de fonctionnement d’un système informatique est la propriété qui permet de placer une confiance justifiée dans le service qu’il délivre • Service rendu par le système : comportement perçu par l’utilisateur – environnement fonctionnel (procédéautre produit opérateur)
a sûreté de fonctionnement des SAP (Systèmes Automatisés de Production) recouvre deux concepts : la sécurité et la disponibilité L’aspect sécurité fondamental obéit à des réglemen-tations très strictes Il a déjà fait l’objet d’une littéra-ture abondante En revanche la disponibilité critère
PrésentationPrésentation de l’UE Sûreté de fonctionnement Thématiques et organisation du cours Sûreté de fonctionnement Nicolas Stouls (6h) : méthodes de véri?cation preuves Sécurité Yves Caniou (8h) : Crypto protocole IPSEC SSL VPN certi?cation PKI Marine Minier (4h) : Sécurité réseaux ad hoc et capteurs