| Résumé | La propagation rapide des systèmes logiciels dans pratiquement tous les aspects de la vie moderne, alliée au nombre croissant de menaces contre ces systèmes, a suscité un des plus grands défis qui se posent aujourd'hui aux technologies de l'information : ce défi consiste à produire des systèmes logiciels qui sont sécurisés contre les menaces. Ces dernières vont de l'exploitation des débordements de tampon et des emplacements critiques non protégés de la mémoire, jusqu'à la rétro ingénierie, qui cherche à découvrir des vulnérabilités. Les chercheurs ont répondu à ce défi en proposant des solutions qui touchent tous les aspects du développement et de l'utilisation des logiciels. Et pourtant, il ne semble pas encore exister de panorama global de ces recherches, montrant comment des travaux de recherche apparemment hétérogènes sont liés entre eux. Un panorama organisé de cette nature pourrait aider la communauté de la recherche sur les logiciels sûrs à comprendre les travaux de recherche récents et à orienter les nouvelles recherches vers des secteurs intéressants et prometteurs. En outre, il permettrait aux néophytes de cette discipline de voir rapidement ce qu'est un logiciel sûr. Cet article présente précisément un tel panorama et propose une façon de déterminer les nouveaux sujets de recherche dans les logiciels sûrs. |
|---|
