Hybrid approaches for enforcing security policies

 
 
 
Domaine(s) de recherche Mot(s)-clé(s)
    dynamic analysis, enforcing security policies, formal verification, information flow policy inlined monitors, language based security, static analysis
Chercheur(s) actif(s)
  • Nadia Tawbi, Sciences et génie, Département d'informatique et de génie logiciel, responsable du projet
Date de début : 2015-04-01
Date de fin : 2020-03-31
Dernière mise à jour : 22 mai 2015

Demande de correction   Demande de correction

www.ulaval.ca