Sécurité des systèmes embarqués

Objectifs

Comprendre les problématiques de la sécurité embarqué, et la mettr en oeuvre

Plan du cours

Plan

  1. • La sécurité
    • Introduction à la sécurité
    • Quelques définitions, propriétés
    • Quelques « outils » pour mettre en œuvre ces propriétés
    • Que veut-on protéger ?  Comment ?
    • Comment vérifier la sécurité ?
     
  2. La carte à puce
    • Concepts de base
    • Applications  (SIM/USIM, EMV, Prépayés)
    • Les cartes du futur
    • Sa sécurité
    • Les attaques
     
  3. Java Card
    • Architecture générale
    • Développement Java Card
    • Mise en œuvre d’une application malveillante
     
  4. IoT,  quelques attaques

 

Description des TP

A remplir

Connaissances requises

A remplir

RSE (Responsabilité Sociale et Environnementale)

Bibliographie

Les cartes à puce
BOUZEFRANE Samia, PARADINAS Pierre
Ouvrage 326 p. 15.6x23.4 cm Relié

Secure Smart Embedded Devices, Platforms and Applications
Konstantinos Markantonakis, Keith Mayes
2014, XLI, 568 p. 135 illus., Hardcover
ISBN: 978-1-4614-7914-7

Smart Cards, Tokens, Security and Applications
Mayes, Keith; Markantonakis, Konstantinos (Eds.)
2008, XXXVIII, 392 p. 128 illus., Hardcover
ISBN: 978-0-387-72197-2