Renforcement automatique de la sécurité de l'Internet des objets

 
 
 
Domaine(s) de recherche Mot(s)-clé(s)
    algèbres de processus, analyses statiques et dynamiques, instrumentation de code, internet des objets, logiques formelles, politiques de sécurités, programmation orientée aspects, réécriture, renforcement de la sécurité, réseaux de capteurs
Chercheur(s) actif(s)
  • Mohamed Mejri, Sciences et génie, Département d'informatique et de génie logiciel, responsable du projet
Date de début : 2016-04-01
Date de fin : 2021-03-31
Dernière mise à jour : 10 avril 2017

Demande de correction   Demande de correction

www.ulaval.ca