 |
21 juin 2001  |
OCTAS DE LA RELÈVE UNIVERSITAIRE
Huit étudiants de Laval honorés par la Fédération de l'informatique du Québec
C'est un groupe d'étudiants de l'Université Laval
qui a remporté l'OCTAS de la Relève universitaire
décerné par la Fédération de l'informatique
du Québec (FIQ) lors du Gala annuel des OCTAS tenu à
Montréal, le 16 juin. L'équipe, formée de
Sylvain Daigle, Mourad Erhoui, Myriam Fourati, Emmanuel Giasson,
Lamia Ketari, Vincent Labbé, Emna Ménif et Frédéric
Painchaud, étudiants à la maîtrise en informatique,
a été récompensée pour son outil de
gestion des risques associés à l'intégration
de logiciels commerciaux à des systèmes d'information
critiques gouvernementaux, MaliCOTS.
Les huit étudiants ont travaillé au projet Détection
de code malicieux dans les logiciels commerciaux pour le compte
du groupe de recherche Langages, Sémantique et Méthodes
Formelles (LSFM) du Département d'informatique de l'Université
Laval. Le projet visait à trouver un outil pour gérer
le risque associé à l'intégration de logiciels
commerciaux à des systèmes d'information critiques
gouvernementaux.
Les logiciels commerciaux sont très attrayants sur le plan
des économies de développement et de la rapidité
de déploiement, mais ils comportent, pour les systèmes
d'information critiques, essentiels au bon fonctionnement d'une
entreprise, un risque important étant donné la présence
possible de code malicieux dans ces logiciels. Ce risque est impossible
à gérer au moyen des méthodes traditionnelles
de vérification de conformité. La tâche principale
des étudiants a donc consisté à élaborer
de nouvelles méthodes de certification logicielle afin
de s'assurer de la qualité de l'intégration et de
la fiabilité du logiciel commercial intégré.
Pendant la phase de développement, l'équipe d'étudiants
a mis au point différents outils logiciels permettant de
valider des résultats théoriques. Ces outils sont
basés sur des théories rigoureuses et formelles
utilisant des représentations abstraites de programmes,
des stratégies novatrices de compilation ainsi que des
spécifications formelles de politiques de sécurité.
Ces outils prototypes sont actuellement en usage au sein du gouvernement
fédéral. Des négociations sont également
en cours avec la société californienne Symantec
afin d'intégrer l'outil MaliCOTS à la suite
Norton Utilities. MaliCOTS a également gagné
la médaille d'or dans le cadre du concours TechnoFed 2000.
La 15e édition du concours des OCTAS couronnait les entreprises,
organismes et étudiants québécois s'étant
le plus illustrés en technologies de l'information au cours
de la dernière année. Au total, une centaine de
projets ont été présentés. La FIQ
a fait appel à un jury formé de plus d'une trentaine
de spécialistes, dont plusieurs présidents et hauts
dirigeants d'entreprises technologiques, pour évaluer les
candidatures. À titre de lauréate d'un OCTAS,
l'équipe de l'Université Laval sera automatiquement
en lice au Concours canadien de l'informatique et de la productivité
pour l'avenir (CIPA), le plus prestigieux concours dans le domaine
des technologies de l'information au Canada.
 |