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 logicielle de nouvelle génération

Aspects critiques d'un système embarqué

• Microkernel vs monolithique
• Niveaux de sécurité indépendants
• Exigences fondamentales de sécurité
• Contrôle d'accès
• Virtualisation des E/S

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
• Implémentation minimale
• Architecture par composants
• Principe du moindre privilège
• Processus de développement sécurisé
• Validation par des experts indépendants
• Conception pilotée par les modèles
• Revue de code et analyse statique
• Tests de sécurité
• Revue de code par les pairs

Compréhension et mise en œuvre de la cryptographie

• Modes de cryptage
• Hachages cryptographiques
• Certifications cryptographiques
• Gestion des clés
• Ciphers à 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 canal auxiliaire

Ajout 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