Workshop InS³PECT
Ingénierie Système de Services Sécurisés Pour objEts ConnecTés
11 & 12 Décembre 2017 – Laboratoire I3S – Salle du conseil  Sophia Antipolis

 

 

Contexte   

La conception de ces objets et les services associés impose des contraintes très diverses du point de vue de l’autonomie de ces objets, leur capacité de traitement, la confidentialité des données qu’ils véhiculent et leur sécurité.
Ainsi le développement de chaînes de valeur autour de ces objets nécessite des compétences multidisciplinaires à commencer par le hardware, (conception matérielle et logiciels embarqués), vient ensuite la communication entre ces objets avec l’infrastructure de l’IoT qui inclut la gestion des flux (quelle infrastructure, quels protocoles, quels flux d’informations …) et le stockage des données (remontées massives des données ou traitement local sur des équipements intermédiaires type fog computing).  Enfin, intervient le développement d’applications spécifiques à la base des services avec la notion de logiciel métier et des outils d’analyse des données.
De manière transversale à ces différents maillons, apparaît l’aspect sécurité et privacy des objets et des données, de leur transmission et de leur restitution à l’utilisateur.
Ainsi, la conception de ces services passe par l’intégration des contraintes spécifiques aux systèmes cyber physiques (code embarqué, consommation, performance, optimisation des ressources) et au domaine de la sécurité (Menaces, vulnérabilités, attaques, contre-mesures, ..) au niveau des puces, protocoles, architectures, applications, méthodologie. Une approche par ingénierie systèmes de ces objets et leurs services permet une approche par vues (fonctionnelle, performance, sécurité, safety…) qui réduit  la complexité de cette intégration via des modèles exécutables et analysables supports au développement.
 

Objectifs

L’objectif du workshop est de rassembler académiques et industriels pour aborder les différentes problématiques et solutions liées à une modélisation au niveau système de ces objets et leurs services,  qui intègre la vue sécurité et qui permette  leur simulation et leur vérification.
Sur ce sujet, le workshop rassemble des équipes de recherche et des industriels au niveau national Ce workshop est l’occasion de présenter les activités de recherche du consortium INS³PECT (Projet PEPS 2017 CNRS) complétées par les travaux de différentes équipes de recherche ainsi que la vue industrielle qui amènera les problématique terrain, de production et passage à l’échelle.

Inscription

L'accès au workshop est gratuit : Laboratoire I3S, 2000 rte des lucioles - Les algorithmes Bât Euclide B 06900 Sophia Antipolis
Néanmoins, pour des raisons de logistique, l'inscription est obligatoire ici.
Pour plus de renseignements contactez-nous
 

Programme
Lundi 11 Décembre 2017

9h15  - Accueil des participants

9h45– M.A Peraldi-Frati -F. Mallet – UCA-I3S- Présentation Consortium INS³PECT

10h00  Session 1 : Sécurité des applications et Services pour Objets Communicants(SOC) (30' +10)

               10h00 L. Gomez, J. Márquez – Sté SAP -Security for Internet of Things @ SAP
               10h40 R. Groz - Lab. Info Grenoble : Sécurité dans systèmes industriels SCADA  
               11h20 M. Korczynski   LIG – Zone Poisoning: The How and Where of Non-Secure DNS Dynamic Updates

12h 00 Buffet rep

13h30 Session 2 Sécurité des infrastructures de communication et d’exécution d’OC (30' +10)

                13h30 V. Lapotre – LABSTICC-MOCS- Lorient - Sécurité des objets 
                14h10 A. Mesbah (Univ. of Boumerdès), J-L. Lanet INRIA Rennes–LHS : Sécurité du firmware : The Express Laundry - from black box to white box
                14h50 F. Rousseau- LIG – Sécurité des infrastructures IoT
                15h30 D. Gaffe UCA-LEAT - Génération automatique de jeux de test en vue de la validation d'un protocole de carte à puces
 16h10 Pause        

 16h30 –  Réunion interne consortium INS3pect

19h30  Repas 

Mardi 12 Décembre 2017

9h  - Accueil des participants

9h 15– 12h15  Session 3 : Modélisation et Ingénierie des systèmes pour OCS (30' +10)

                9h15  G. Gonzales  ANSYS : ANSYS Enginering software for the design of battery Management System. 
                9h55 L. Apvrille Télécom Paris Tech : Ingénierie des modèles prenant en compte la sûreté, la sécurité et la performance : SysML-Sec
                10h35 Y. Roudier  UCA-I3S Spark : Modèles d’exigences de sécurité pour systèmes cyber physiques.
11h15 Pause
                11h30 A.  Idani- LIG Grenoble –Modélisation et validation de politique de contrôle d’accès
                12h10  J.  Deantoni  UCA-I3s Kairos  - Modélisation  système et simulation des systèmes cyber physiques.
 

12h50 Cloture du Workshop

13h Buffet repas