PROJET N°17 : Safe Elec Le Système D.A.L.
PROJET N°17 : Safe Elec D.A.L : un système de sécurisation Projet E.D.F. : sécurisation de dispositifs électriques par codes sur courants porteurs Objectif : concevoir le système proposer une implantation validant cette conception Etude du système D.A.L. Modélisation d’une solution Quelques détails de la réalisation
PROJET N°17 : Safe Elec D.A.L : étude du système Chez le client du service E.D.F. D.A.L. Dispositif dans le compteur Envoi de messages par courants porteurs Désactivation de l ’appareil électroménager (en cas de vol)
PROJET N°17 : Safe Elec D.A.L : étude du système Mise en place de ce système sur un appareil électronique, 3 étapes : Initialisation (échange d’informations) Messages de « routine » Messages d ’arrêt
PROJET N°17 : Safe Elec D.A.L : étude du système COMPTEUR ELECTRIQUE D.A.L. émetteur CANAL DE COMMUNICATION RECEPTEUR MESSAG E CONTROLEUR Une solution :
PROJET N°17 : Safe Elec D.A.L : modélisation Partie Objet : Emetteur D.A.L.Canal de Transmission Récepteur D.A.L. Message Dépose unLit un
PROJET N°17 : Safe Elec D.A.L : modélisation Emetteur D.A.L. : Emetteur D.A.L. Gestionnaire de récepteur -Gestionnaire de tâches -Liste de récepteurs Canal de Transmission Contient desDépose un
PROJET N°17 : Safe Elec D.A.L : modélisation Récepteur D.A.L. : Récepteur D.A.L. Module de déchiffrement Canal de Transmission Lit un Contient
PROJET N°17 : Safe Elec D.A.L : modélisation Canal de transmission : Verrou Canal de Transmission Contenuétat Contient
PROJET N°17 : Safe Elec D.A.L : modélisation 6 types différents : Message 1, d’initialisation : le contenu est la clé publique à utiliser pour le décryptage ultérieur, en clair Message 2, nominal : le contenu est constitué de l’heure courante et du temps de mise hors service du récepteur, crypté Message 3 : permet de passer en mode non sécurisé, crypté Message 4, de blocage : permet de bloquer le récepteur, en clair Message 5, d’authentification : permet d’authentifier l’émetteur, crypté Message 6, de ré-initialisation : permet de débloquer un récepteur bloqué, crypté. Partie fonctionnelle, les messages ADRESSETYPE CONTENU en-tête
PROJET N°17 : Safe Elec D.A.L : modélisation Les messages, architecture : EN-TËTECONTENU ADRESSETYPE ADRESSE EMETTEURDATE + HEUREBITS DE CONTRÖLEADRESSE RECEPTEUR CRYPTE INFORMA TION
PROJET N°17 : Safe Elec D.A.L : modélisation Les messages, la cryptographie : - cryptage dissymétrique, 2 paires de clés - cryptage symétrique dans le cas de la réactivation message 6 secret constructeur/E.D.F.
PROJET N°17 : Safe Elec D.A.L : modélisation La partie temporelle : Canal de transmission Vide En lecture En écriture Fin de lecture Demande d’écriture Fin d’écriture Demande de lecture
PROJET N°17 : Safe Elec D.A.L : modélisation Récepteur : SECURISE NON- SECURISE BLOQUE MSG2 et temps ou MSG 4 MSG 6 MSG 3 MSG 1
PROJET N°17 : Safe Elec D.A.L : modélisation Emetteur : Création de gestionnaires de récepteur Chaque gestionnaire : Envoi du message 1 Envoi de messages 2 Envoi de message d’arrêt (3,4,6)
PROJET N°17 : Safe Elec D.A.L : réalisation Langage Java Canal de transmission : RMI Verrou : sections critiques
PROJET N°17 : Safe Elec D.A.L : conclusion Implantation non achevée Système validé dans les tests individuels Des trous de sécurité existeront toujours (parade contre attaques connues)