IRISA – LogicA

Effectifs (en ETP)

• Chercheurs permanents :0
• Enseignants-Chercheurs :2
• Ingénieurs permanents :0
• Doctorants :2
• Post-Doctorants :0

Domaine de recherche

arbre d’attaques

Mots clés

Liste de mots clés décrivant les activités en lien avec la Cyber :

• arbres d’attaque

Mots-clés ACM:

Méthodes formelles et aspects théoriques de la sécurité : Security requirements, Formal security models, Logic and verification Analyse des besoins en sécurité, Modèles formels en sécurité, Logique et vérification

Détection d’intrusion et contremesures aux logiciels malveillants: Systèmes de détection d’intrusion

Facteurs humains: Aspects sociétaux : sécurité et protection de la vie privée