SECURE DEV LINUX – IOT : FORMATION POUR LES DÉVELOPPEURS SUR SYSTÈMES LINUX – IOT

LES BONNES PRATIQUES DE LA PROGRAMMATION SÉCURISÉE EN ENVIRONNEMENT LINUX ET IOT

Une formation de 3 jours dispensée par un expert en sécurité informatique.

Objectifs

  • Transmettre les bonnes pratiques pour intégrer la sécurité informatique dans la conception, le développement et la mise en production d’applications système pour Linux et pour objets connectés reposant sur ces systèmes
  • Comprendre les protections logicielles offertes par les systèmes Linux
  • Connaître des outils utilisables pour tester la présence de vulnérabilités dans ses propres applications

Destinataires

  • Développeurs, Développeurs intégrateurs (DevOps) et Chefs de projets.

Prérequis

  • La connaissance du langage de programmation système C ou C++ est nécessaire.
  • Des notions dans le fonctionnement des systèmes d'exploitation et en cryptographie sont un plus.

Prérequis matériels

Les stagiaires devront être munis d'un ordinateur portable, sans contrainte sur le système d'exploitation (Windows, Linux ou Mac OS X), sur lequel ils doivent pouvoir exécuter une machine virtuelle (fichier OVA) fournie par SECURESPHERE.

Accessibilité

Cette formation est accessible aux personnes en situation de handicap. Nous vous invitons à préciser dans le formulaire de renseignement si vous avez besoin d’un accompagnement particulier.

Pour en savoir plus sur l’accessibilité PSH, les modalités et les délais d’accès à nos formations, rendez-vous sur la page dédiée en cliquant ici.

Compétences acquises

  • Conception sécurisée d'applications sous Linux
  • Implémentation des fonctions de sécurité 
  • Développement logiciel sans vulnérabilité
  • Mécanismes intégrés aux noyaux Linux pour protéger les applications
  • Réalisation de tests de robustesse dans les logiciels développés
  • Déploiement et intégration sécurisé d'applications
  • Intégration de la sécurité dans les projets

Méthode pédagogique

Acquisition des compétences de manière interactive en s'appuyant sur des exemples réels et sur des ateliers de réflexion. Apports théoriques et mise en œuvre pratique grâce à un système vulnérable fourni par SECURESPHERE (sans danger pour le système des stagiaires).

Formateurs

  • Consultant-Formateur spécialiste de la sécurité informatique.

Évaluation

  • Quiz d’évaluation des connaissances et cas pratiques transmis durant la formation.

Attestation de réussite

  • Une attestation d’acquisition des compétences de l’EPITA, est délivrée aux stagiaires ayant validé l’ensemble des compétences visées par le stage.

Durée : 3 jours – 21 heures

Prix : 2 100 € HT par stagiaire

Plan de stage

Introduction

Concepts génériques liés aux vulnérabilités logicielles

  • Exemples réels et conséquences
  • Identification des vulnérabilités (CVE)
  • Criticité des vulnérabilités (CVSS) et politique de communication par les éditeurs logiciels

Gestion de projets

  • Principe de l'analyse de risques
  • Intégration de la sécurité dans les projets

Spécificités des systèmes embarqués et IOT

Conception

Spécifications fonctionnelles

  • Principe de sécurité par défaut
  • Transparence vs sécurité par l'obscurité
  • Protection des données sensibles
  • Modèles DAC et MAC
  • Concepts cryptographiques
  • Traçabilité
  • Fonctionnalités dangereuses
  • Gestion des mises à jour

Spécifications techniques et Implémentation des fonctions de sécurité

  • Authentification
  • Gestion des mots de passe
  • Gestion des sessions
  • Autorisation / Gestion des droits
  • Cryptographie appliquée
  • Gestion des erreurs

Programmation (in) sécurisée

Problèmes spécifiques aux langages C et C++

  • Buffer overflow
  • String format bug
  • Integer overflow
  • Gestion des pointeurs et use-after-free

Problèmes liés aux systèmes

  • Race conditions
  • Shatter attacks

Outils et recette sécurité

  • Protections offertes par les systèmes d'exploitation
  • Options de compilation et configuration des interpréteurs
  • Tests manuels de sécurité 
  • Tests unitaires, audit statique de code
  • Tests automatisés de sécurité 
  • Fuzzing et tests d'intrusion applicatifs

Mécanismes de sécurité offerts par Linux

Contrôle d’accès

  • ACL POSIX
  • Pare-feu iptables et nftables

Gestion des privilèges élevés

  • Niveaux de droits
  • Programmes privilégiés : ◦ Bits SetUID/SetGID ◦ Identifiants utilisateurs d’un processus
  • Capabilities

Fonctionnalités avancées sur systèmes Linux

  • Espace de nommage (UTS, réseau, IPC, points de montage, processus, utilisateurs et cgroup)
  • Cgroups et isolation de processus Seccomp (modes, filtres BPF et eBPF)
  • Conteneurs : ◦ Docker ◦ LXC ◦ sVirt

Restrictions sur les fichiers (chroot)

Je suis intéressé-e par cette formation

Si vous désirez nous contacter au sujet de cette formation, merci de remplir le formulaire ci-dessous :

Chargement du formulaire...
Si rien ne s'affiche, cliquez-ici.

Conformément à la loi « informatique et libertés » du 6 janvier 1978 modifiée en 2004, vous bénéficiez d'un droit d'accès et de rectification aux informations qui vous concernent (lire les mentions légales du site).