Sécurité et fiabilité des logiciels

点击翻译按钮获取中文摘要

Une des grandes préoccupations actuelle demeure la sécurité et la fiabilité des logiciels : Les utilisateurs désirent des logiciels sûrs qui effectuent efficacement les tâches qu'on leur demande sans faire d'opérations malveillantes comme transmettre des données critiques à des personnes non-concernées. Face à la multiplication des menaces informatiques, toutes les instances fédérales et provinciales du Canada s'affairent à sécuriser leurs systèmes d'information. Ces dernières années ont vu apparaître, tant au niveau fédéral qu'auniveau provincial, des centres d'étude et de prévention de la sécurité informatique. Les risques sont réels et la moindre erreur peut engendrer des conséquences indésirables.Ma recherche s'inscrit dans ce contexte de sécurité et de fiabilité des logiciels et vise à proposer de nouvelles solutions pour les systèmes actuels (ordinateurs classiques) et les systèmes futurs (comme les ordinateursquantiques). Plus précisément, ma recherche se concentre à la réalisation de deux objectifs:1- Le premier vise à créer un pont entre le domaine de l'informatique quantique et la certification de logiciels via deux piliers principaux : le développement d'un assembleur quantique qui permet le support naturel de lacertification de logiciels et l'adaptation et la découverte de méthodes de certification de logiciels appropriées pour le domaine quantique.2- Le deuxième vise à concevoir et à implanter une architecture, basée sur une analyse statique de code, de certification de logiciels à travers la génération par un compilateur-certificateur, outre du code assembleur, d'un modèle abstrait et certifié du programme à analyser (à compiler).