Sites Inria

English version

Horizon 2020

VESSEDIA : sécuriser les nouvelles applications et logiciels connectés

Securité iot - © dataprint.fr

Le projet VESSEDIA, sélectionné dans le cadre de l’appel 2016 sur la sécurité numérique du programme-cadre Horizon 2020, et coordonné par Technikon (Autriche), a pour objectif de sécuriser les nouvelles applications et logiciels connectés.

VESSEDIA propose d'améliorer et de permettre le passage à l'échelle des logiciels modernes d'analyse statique, en particulier la plate-forme (principalement) open source Frama-C, pour permettre aux développeurs d'en bénéficier aussi tôt que possible. L'internet des objets (IoT), dont la croissance est exponentielle, présente de sérieux risques de sécurité.

VESSEDIA se concentre sur ce domaine, et propose de :

  • développer une méthodologie permettant l'adoption et l'analyse efficace de code source ;
  • améliorer les outils Frama-C pour permettre une implémentation rapide et effective ; 
  • démontrer les possibilités des nouveaux outils proposés ;
  • développer un programme de standardisation pour augmenter la visibilité des outils VESSEDIA ;
  • contribuer au processus de certification "Common Criteria" et (6) définir un label "Verified in Europe" pour la validation de produits logiciels à base de technologies européennes telles que Frama-C.

L’équipe-projet FUN du centre de recherche Inria de Lille - Nord Europe (Nathalie Mitton) est impliquée dans ce projet.

Mots-clés : Standardisation Code source Internet des objets Sécurite numérique

Haut de page

Suivez Inria