Formalisation d’arguments de sécurité

Le présent projet appartient au domaine de la représentation des connaissances et constitue un premier pas vers le développement d’outils informatiques en support au développement de dossiers de sécurité et d’audits de conformité reliés à la sécurité des TI. Il porte plus particulièrement sur la représentation formelle d’interprétations de requis de conformité reliés à la sécurité des TI dans des contextes vulnérables aux cyberattaques. Un tel environnement technologique permettrait, entre autres, de présenter les résultats d’analyses et d’audits de façon plus claire et uniforme, de formaliser des méthodologies liées aux audits et de faciliter la communication entre les différents acteurs du monde de la sécurité.

Intern: 
Idriss El Megzari
Superviseur universitaire: 
Jules Desharnais
Province: 
Quebec
Université: 
Programme: