Bonjour à tous,
nous discutions de la sécurité des systèmes a l'occasion du programme "saferun" présenté par dnob700. Je viens de voir passer sur slashdot ( http://linux.slashdot.org/article.pl?sid=08/09/28/1729247 ) un article intéréssant au sujet de Korset. Il s'agit d'outil de developpement et un module noyau pour linux qui devrait rendre les attaques de type injection de code difficile. (l'article scientifique en re-print est disponible http://ols.fedoraproject.org/OLS/Reprints-2008/bencohen-reprint.pdf )
Le constat par du fait que les méchants attaquants vont injecter du code pour faire des appels systemes. L'idée de Korset est de générer à la compilation un graphe de transition entre les appels systèmes du programme afin de pouvoir vérifier que l'exécution est bien conforme a ce graphe. Si il ne l'est pas, alors il y a une intrusion et il faut prendre des mesures. Typiquement, arreter le processus.
J'ai trouvé cette approche de la sécurité intéressante. Ca devrait être assez efficace contre le buffers overflow (en tout cas beaucoup plus que la technique utilisé dans windows XP)
