Vérification et assurance des assertions de sécurité au moyen d’appareils de surveillance

L'objectif de ce projet est de mettre au point un nouvel ensemble de procédures et d'outils pour mettre à l'épreuve la sécurité de systèmes logiciels en fonctionnement au moyen d'une technique basée sur l'utilisation d’appareils de surveillance. Ces derniers sont des systèmes qui observent et analysent le comportement d'un second système. L’appareil de surveillance sera conçu comme système externe qui utilise des « crochets » logiciels dans le système existant pour insérer et extraire de l'information. Ce cadre de travail permettra aux chercheurs de vérifier les assertions et de cerner les exceptions. Une fois le cadre d’appareils de surveillance en place, on pourra procéder à la recherche en cernant les points dans le système qui pourraient faire l'objet d'attaques malicieuses et qui nécessiteraient la mise en place de mesures de protection. On utilisera le logiciel libre LINUX comme base de ce projet de recherche. Le cadre d’appareils de surveillance qui sera mis au point pourra contribuer à la responsabilisation des usagers, à la mise en place de mesures de sécurité et à la protection continue de systèmes sécuritaires pour les usagers.

Faculty Supervisor:

Dr. Issa Traore

Student:

Alexander Hoole

Partner:

Microdev Engineering Corp.

Discipline:

Engineering

Sector:

Information and communications technologies

University:

University of Victoria