Vérification d’assertions de sécurité et contrôle à l’aide de moniteurs

Le but de cette recherche est de développer un nouvel ensemble de procédures et d'outils pour tester la sécurité des systèmes informatiques en usage, qui font appel à une technique reposant sur un moniteur. Les moniteurs sont des systèmes qui observent et analysent le comportement d'autres systèmes. Le moniteur sera conçu comme un système externe, utilisant des entrées de service dans le système existant pour insérer et extraire des informations. Ce cadre d'applications permettra de vérifier les assertions et de signaler les exceptions. Le cadre d'applications du moniteur une fois en place, il s'agira d'identifier les points dans le système susceptibles d'être exploités à des fins malicieuses, puis de permettre la mise en œuvre de dispositifs de protection. Cette recherche utilisera comme support le noyau open-source LINUX. Le cadre d'applications de moniteur obtenu facilitera l'imputabilité des utilisateurs, la garantie des mesures de sécurité et la protection suivie des systèmes sécurisés pour les utilisateurs.

Faculty Supervisor:

M. Issa Traore

Student:

Alexander Hoole

Partner:

Microdev Engineering Corp.

Discipline:

Engineering

Sector:

Information and communications technologies

University:

University of Victoria