Formation Sécurité des Systèmes Embarqués

Introduction

• Sécurité vs sécurité des systèmes embarqués

Caractéristiques de la sécurité des applications embarquées

• Transactions réseau embarquées
• Sécurité automobile
• Appareils Android
• Radio définie par logiciel de nouvelle génération

Aspects critiques d'un système embarqué

• Micro-noyau vs monolithique
• Niveaux de sécurité indépendants
• Exigences fondamentales de sécurité
• Contrôle d'accès
• Virtualisation des entrées/sorties

Réalisation de la modélisation et de l'évaluation des menaces

• Attaquants et actifs
• Surface d'attaque
• Arbres d'attaque
• Établissement d'une politique de sécurité

Développement de logiciels embarqués sécurisés

• Principes de codage sécurisé
• Conception de programmes sécurisés
• Mise en œuvre minimale
• Architecture par composants
• Privilège minimal
• Processus de développement sécurisé
• Validation par des experts indépendants
• Conception pilotée par les modèles
• Relecture de code et analyse statique
• Tests de sécurité
• Relecture par les pairs

Compréhension et mise en œuvre de la cryptographie

• Modes cryptographiques
• Hachages cryptographiques
• Certifications cryptographiques
• Gestion des clés
• Chiffrement par blocs
• Codes d'authentification de message
• Génération de nombres aléatoires

Protection des données

• Protocoles de données en mouvement
• Sécurisation des données en mouvement
• Protocoles de données au repos
• Sécurisation des données au repos

Atténuation des attaques

• Attaques logicielles courantes
• Prévention des attaques par canaux auxiliaires

Intégration de la sécurité dans les projets existants

• Sécurisation des chargeurs d'amorçage et des mises à jour du microprogramme

Résumé et prochaines étapes