Aller au contenu Aller au menu Aller à la recherche

accès rapides, services personnalisés
Rechercher
Service de Formation Continue
PDF
Certification FCU

Développement des logiciels sécurisés

Résumé

Type de certification

  • Formation qualifiante

Thématique

  • Informatique

Composante(s)

Présentation

Code FC

  • J097

Objectifs

L'objectif de cette formation est de présenter quelques méthodes et techniques permettant d'analyser et/ou de contrôler les flots d'information engendrés par les changements d'états d'un système ou lors de l'exécution d'un programme afin de garantir des propriétés de sécurité sur les données manipulées. Et par conséquent, de fournir les connaissances aux apprenants pour assurer une intégration efficace des besoins et des exigences de sécurité dans tout projet applicatif, de maitriser les activités liées à la sécurité applicative et de garantir la sécurisation des applications migrants.

Compétences visées

  • Présentation des vulnérabilités dans les langages de programmation
  • Éléments de sémantique opérationnelle des langages de programmation.
  • Modèles de sécurité : contrôle d'accès versus contrôle de flots.
  • Étude de cas : interprétation en termes de flots d'information des politiques de contrôle d'accès discrétionnaires (DAC) et à basée sur des treillis de niveau de sécurité
  • Contrôle des flots d'information.
  • Analyses statiques de code. 
  • Propagation de teintes.
  • Typage.
  • Étude de cas : Linux Security Modules (LSM).
  • Sécurisation de code.

Effectif minimal

  • 4

Effectif maximal

  • 15

Public cible et prérequis

Public et prérequis

Formation destinée à des informaticiens ayant une expérience professionnelle d’au moins 5 ans dans les domaines de développement des logiciels ainsi qu’en systèmes d’information (SI).

Des connaissances d’assemblage et de configuration des composants matériels ou logiciel en respectant les standards en différentes technologie et en sécurité sont nécessaires.

Prérequis:

  • Connaissances en programmation fonctionnelle, impérative, distribuée, web.
  • Maitrise de cycle de vie des logiciels.
  • Capacités d'abstraction.

Tarifs

Tarifs

Nous consulter

Organisation/Calendrier

Organisation

5 jours.

Tous les concepts abordés sont illustrés par de séances pratiques.

Une salle cours et une salle machine de 24 postes de travail sont dédiées à la formation.

Durée

  • 35 heures

Lieu(x)

  • Campus Jussieu

Contacts/Inscription

Responsable

  • Enseignant Jaume Mathieu

Inscription

Pôle sciences – 01 44 27 82 82
email : formation.continue @ upmc.fr
Accueil public : campus Jussieu – 4, place Jussieu – 75005 Paris – Tour 14/24 – 5e étage