Brevet FR3030823A1 — publié le 20160624

Procédé de mise en oeuvre d'un algorithme de détermination de sûreté de fichiers informatiques, module de détermination, procédé de construction d'une unité de contrôle et produit programme d'ordinateur associés La présente invention concerne un procédé de mise en oeuvre d'un algorithme de détermination de sûreté de fichiers informatiques pour détecter des fichiers sains et des fichiers infectés par un logiciel malveillant. On entend par logiciel malveillant, tout programme informatique développé dans le but d'être exécuté sur un système informatique sans consentement d'un ou plusieurs utilisateurs concernés. Après son exécution, un tel programme est souvent apte à nuire au système informatique ou aux données informatiques qu'il contient. Les logiciels malveillants sont souvent transmis d'un système informatique vers un autre via un réseau informatique tel qu'Internet par exemple. Une telle transmission peut être effectuée en utilisant différentes voies de transmission. Ainsi, il est connu une voie de transmission selon laquelle des logiciels malveillants s'intègrent dans des fichiers informatiques circulant normalement dans le réseau et restent invisibles pour l'utilisateur. Ces fichiers sont alors infectés par les logiciels malveillants. Les fichiers infectés comprennent notamment des fichiers fréquemment échangés entre les utilisateurs comme par exemple, les fichiers du type PDF (de l'anglais « Portable Document Format ») transmis via le courrier électronique. De manière générale, le logiciel malveillant reste inactif et caché dans le fichier infecté jusqu'au moment où le fichier est exécuté ou ouvert par un utilisateur ou un autre logiciel. Ainsi, lorsqu'il s'agit par exemple d'un fichier infecté du type PDF, une simple ouverture de ce fichier suffit pour activer le logiciel malveillant. Lorsque l'exécution ou l'ouverture du fichier est effectuée, le logiciel malveillant s'exécute dans le système informatique de manière indépendante du fichier infecté ce qui peut conduire à des conséquences importantes dans le fonctionnement de ce système. La détection de fichiers infectés présente ainsi un problème important dans le domaine de sécurité informatique. Pour remédier à ce problème, différentes méthodes sont déjà connues dans l'état de la technique. Une partie majeure de ces méthodes est basée sur la recherche d'une signature connue des logiciels malveillants dans l'ensemble de fichiers informatiques entrants dans le système informatique correspondant ou présents dans celui-ci. Une telle recherche est souvent effectuée dans la représentation binaire de chaque fichier à contrôler ce qui permet d'éviter l'exécution du fichier et la propagation d'un logiciel malveillant lorsque celui-ci est infecté. Les signatures de logiciels malveillants connus peuvent être généralement obtenues par des logiciels antivirus via par exemple, sur Internet où elles sont mises à jour au fur et à mesure que des nouveaux logiciels malveillants sont découverts. Toutefois, les méthodes de détection de fichiers infectés par la recherche des signatures connues, ne sont pas complètement satisfaisantes. En particulier, ces méthodes ne permettent pas de détecter des fichiers infectés par des logiciels malveillants modifiés pour ne plus correspondre aux signatures connues ou par des nouveaux logiciels malveillants dont les signatures ne sont pas encore disponibles. La présente invention a pour but de remédier à cet inconvénient. À cet effet, l'invention a pour objet un procédé de mise en oeuvre d'un algorithme de détermination de sûreté de fichiers informatiques pour détecter des fichiers sains et des fichiers infectés par un logiciel malveillant, la sûreté d'un fichier à contrôler étant déterminée par une analyse de reconnaissance d'un mot formel à contrôler associé à ce fichier, par chaque langage régulier d'un groupe de langages réguliers, dit individu de contrôle, chaque langage régulier de l'individu de contrôle étant construit sur un alphabet formel, l'alphabet formel comportant une pluralité de lettres formelles aptes à former des mots formels d'un ou plusieurs langages réguliers. Le procédé comprend une phase d'apprentissage de l'individu de contrôle et une phase de contrôle d'un fichier à contrôler par l'individu de contrôle. La phase de contrôle comporte les étapes suivantes : fourniture de l'individu de contrôle développé lors de la phase d'apprentissage ; association du fichier à contrôler à un mot formel à contrôler construit sur l'alphabet formel ; détermination de la reconnaissance du mot formel à contrôler par chaque langage régulier de l'individu de contrôle ; détermination de la sûreté du fichier à contrôler en fonction du nombre des langages réguliers de l'individu de contrôle ayant reconnu le mot formel à contrôler associé et le nombre des langages réguliers de l'individu de contrôle ne l'ayant pas reconnu. La phase d'apprentissage comporte les étapes suivantes : fourniture d'une base de fichiers comprenant une pluralité de fichiers d'apprentissage dont la sûreté est connue, et association des mots formels à chacun de ces fichiers ; génération des individus en associant à chacun d'entre eux un groupe de langages réguliers, l'ensemble des individus formant une population, chaque individu étant associé à un indicateur de santé caractérisant son aptitude à déterminer la sûreté des fichiers d'apprentissage en utilisant la reconnaissance des mots formels associés à ces fichiers par les langues réguliers de cet individu ; évolution de la population comprenant une création d'un nouvel individu à partir de deux individus parents, chaque nouvel individu comportant une combinaison de langages réguliers associés à ses parents, et une suppression d'individus ayant les indicateurs de santé inférieurs à un seuil prédéterminé pour cette étape ; sélection d'un individu de contrôle correspondant à l'individu ayant le meilleur indicateur de santé dans toute la population. Suivant d'autres aspects avantageux de l'invention, le procédé comprend une ou plusieurs des caractéristiques suivantes, prise(s) isolément ou suivant toutes les combinaisons techniquement possibles : - chacun des langages réguliers de chaque individu est apte à reconnaitre des mots formels associés à des fichiers infectés par un logiciel malveillant ; - chacun des langages réguliers de chaque individu est apte à reconnaitre des mots formels associés à des fichiers sains ; - chaque lettre formelle de l'alphabet formel est une suite ordonnée de bits de longueur fixée ; - ladite suite ordonnée comprend huit bits et forme un octet ; - chaque mot formel associé à un fichier informatique est une suite ordonnée de lettres formelles dans la représentation binaire de ce fichier informatique ; - lors de l'étape de génération d'individus, les langages réguliers destinés à être associés à ces individus, sont générés de manière aléatoire ; - l'étape d'évolution de la population comprend en outre une mutation d'individus consistant à une modification aléatoire d'une partie d'au moins certains langages réguliers de ces individus ; - la détermination de la reconnaissance d'un mot formel par un langage régulier est mise en oeuvre en utilisant un automate fini déterministe comprenant une pluralité d'états comportant un état initial et au moins un état acceptable, et une pluralité d'arêtes définissant des conditions de passage d'un état à un autre ; chaque condition de passage étant définie par une lettre formelle de l'alphabet formel acceptable par le langage régulier correspondant pour passer entre les états correspondants ; chaque mot formel étant reconnu par un langage régulier lorsqu'en partant de l'état initial d'un automate fini déterministe correspondant à ce langage régulier, il est possible d'arriver vers l'au moins un état acceptable de cet automate en considérant de manière consécutive chaque lettre formelle du mot formel selon les conditions de passages définies entre les états de cet automate ; et - l'indicateur de santé de chaque individu est une fonction du nombre des langages réguliers de cet individu, aptes à reconnaitre des mots formels associés à chacun des fichiers d'apprentissage. La présente invention a également pour objet un module de détermination de sûreté de fichiers informatiques pour détecter des fichiers sains et des fichiers infectés par un logiciel malveillant, la sûreté d'un fichier à contrôler étant déterminée par une analyse de reconnaissance d'un mot formel à contrôler associé à ce fichier, par chaque langage régulier d'un groupe de langages réguliers, dit individu de contrôle, chaque langage régulier de l'individu de contrôle étant construit sur un alphabet formel, l'alphabet formel comportant une pluralité de lettres formelles aptes à former des mots formels d'un ou plusieurs langages réguliers. Le module est apte : à fournir une base de fichiers comprenant une pluralité de fichiers d'apprentissage dont la sûreté est connue, et à associer des mots formels à chacun de ces fichiers ; à générer des individus en associant à chacun d'entre eux un groupe de langages réguliers, l'ensemble des individus formant une population, chaque individu étant associé à un indicateur de santé caractérisant son aptitude à déterminer la sûreté des fichiers d'apprentissage en utilisant la reconnaissance des mots formels associés à ces fichiers par les langues réguliers de cet individu ; à faire évoluer la population en créant un nouvel individu à partir de deux individus parents, chaque nouvel individu comportant une combinaison de langages réguliers associés à ses parents, et en supprimant des individus ayant les indicateurs de santé inférieurs à un seuil prédéterminé ; à sélectionner un individu de contrôle correspondant à l'individu ayant le meilleur indicateur de santé dans toute la population ; à associer le fichier à contrôler à un mot formel à contrôler construit sur l'alphabet formel ; à déterminer la reconnaissance du mot formel à contrôler par chaque langage régulier de l'individu de contrôle ; et à déterminer la sûreté du fichier à contrôler en fonction du nombre des langages réguliers de l'individu de contrôle ayant reconnu le mot formel à contrôler associé et le nombre des langages réguliers de l'individu de contrôle ne l'ayant pas reconnu. La présente invention a également pour objet un procédé de construction d'une unité de contrôle permettant de mettre en oeuvre un algorithme de détermination de sûreté de fichiers informatiques pour détecter des fichiers sains et des fichiers infectés par un logiciel malveillant, la sûreté d'un fichier à contrôler étant déterminée par une analyse de reconnaissance d'un mot formel à contrôler associé à ce fichier, par chaque langage régulier d'un groupe de langages réguliers, dit individu de contrôle, chaque langage régulier de l'individu de contrôle étant construit sur un alphabet formel, l'alphabet formel comportant une pluralité de lettres formelles aptes à former des mots formels d'un ou plusieurs langages réguliers. Le procédé comprend une phase d'apprentissage de l'individu de contrôle comportant les étapes suivantes : fourniture d'une base de fichiers comprenant une pluralité de fichiers d'apprentissage dont la sûreté est connue, et association des mots formels à chacun de ces fichiers ; génération des individus en associant à chacun d'entre eux un groupe de langages réguliers, l'ensemble des individus formant une population, chaque individu étant associé à un indicateur de santé caractérisant son aptitude à déterminer la sûreté des fichiers d'apprentissage en utilisant la reconnaissance des mots formels associés à ces fichiers par les langues réguliers de cet individu ; évolution de la population comprenant une création d'un nouvel individu à partir de deux individus parents, chaque nouvel individu comportant une combinaison de langages réguliers associés à ses parents, et une suppression d'individus ayant les indicateurs de santé inférieurs à un seuil prédéterminé pour cette étape ; sélection d'un individu de contrôle correspondant à l'individu ayant le meilleur indicateur de santé dans toute la population ; fourniture de l'individu de contrôle sélectionné pour mettre en oeuvre l'unité de contrôle. La présente invention a également pour objet un produit programme d'ordinateur comportant des instructions logicielles qui, lorsqu'elles sont mises en oeuvre par un ordinateur, mettent en oeuvre ce procédé. L'invention sera mieux comprise à la lecture de la description qui va suivre, donnée uniquement à titre d'exemple, et faite en se référant aux dessins annexés, sur lesquels : - la figure 1 est une vue schématique d'un terminal informatique comprenant un module de détermination de sûreté de fichiers informatiques selon l'invention ; - la figure 2 est vue schématique détaillée du module de détermination de la figure 1 ; - la figure 3 est une vue schématique d'un automate fini mis en oeuvre par le module de la figure 2 ; - la figure 4 est un organigramme d'une phase d'apprentissage d'un procédé de mise en oeuvre d'un algorithme de détermination de sûreté de fichiers informatiques selon l'invention ; et - la figure 5 est un organigramme d'une phase de contrôle du procédé selon l'invention. Le terminal informatique 10 de la figure 1 est par exemple un ordinateur raccordé à un réseau informatique 11 et apte à échanger de données informatiques et notamment de fichiers informatiques avec ce réseau 11. Le réseau 11 est par exemple Internet ou tout autre réseau global ou local. En référence à la figure 1, le terminal 10 comprend une unité 12 de calcul tel qu'un processeur, une unité 14 de raccordement au réseau 11, une unité 18 de mémorisation et un module 20 de détermination de sûreté de fichiers informatiques selon l'invention. L'unité de mémorisation 18 est apte à mémoriser des données informatiques formant des fichiers informatiques. Chaque fichier informatique correspond à une suite de bits prenant les valeurs « 0 » ou « 1 » dans l'unité de mémorisation 18. Cette suite est regroupée sous la forme d'octets présentant une sous-suite de longueur égale à 8 bits. Une telle représentation du fichier informatique dans l'unité de mémorisation 18 est désignée dans la suite par le terme « représentation binaire ». Au moins certains de fichiers informatiques forment un système d'exploitation apte à communiquer avec l'unité de calcul 12 et l'unité de raccordement 14, et comprenant plus particulièrement une pluralité de logiciels. Chaque logiciel comprend ainsi un code informatique comportant des instructions destinées à l'unité de calcul 12 et/ou à un autre logiciel et/ou à toute autre composante du terminal 10. Ces instructions permettent d'effectuer des tâches associées au logiciel par un utilisateur ou d'autres logiciels ou composante du terminal 10 On comprend par exécution d'un logiciel, la mise en oeuvre des instructions correspondant au code informatique de ce logiciel par l'unité de calcul 12 et/ou par un autre logiciel et/ou par toute autre composante du terminal 10. Chaque logiciel est apte à manipuler au moins certains des fichiers informatiques pour effectuer les tâches associées. Pour ce faire, un tel logiciel est apte à interpréter le contenu du fichier informatique correspondant en analysant la suite de bits formant ce fichier. Une telle interprétation est désignée dans la suite par le terme « ouverture ». Lorsqu'un fichier est associé à un logiciel, l'ouverture d'un tel fichier signifie l'exécution du logiciel associé. Le module 20 de détermination de sûreté de fichiers informatiques permet de détecter des fichiers informatiques sains FS et des fichiers informatiques infectés FI par un logiciel malveillant. Ces fichiers informatiques à contrôler sont par exemple issus de l'unité de mémorisation 18 ou du réseau 11. On comprend par logiciel malveillant, tout logiciel exécutable par l'unité de calcul 12 ou par d'autres logiciels de l'unité de mémorisation 18 sans consentement de l'utilisateur et apte à nuire au système d'exploitation et/ou aux données informatiques mémorisées dans l'unité de mémorisation 18, ou plus généralement, à endommager le fonctionnement du terminal 10. Un fichier informatique est infecté par un logiciel malveillant lorsque l'exécution ou l'ouverture du fichier est apte à mener à l'exécution du logiciel malveillant. Un fichier informatique est sain lorsqu'il ne contient aucun logiciel malveillant. Le module de détermination 20 est réalisé sous la fourme d'un logiciel mémorisé dans l'unité 18. Selon un autre exemple de réalisation, le module de détermination 20 est réalisé sous la forme d'une composante électronique indépendante raccordée à l'unité de calcul 12, à l'unité de raccordement 14 et à l'unité de mémorisation 18. Le module 20 est illustré plus en détail sur la figure 2. Ainsi, en référence à cette figure 2, le module 20 comprend une unité de contrôle comprenant un logiciel de contrôle 22, une unité d'association comprenant un logiciel d'association 24, une unité de reconnaissance comprenant un logiciel de reconnaissance 26, une base 28 de fichiers d'apprentissage, et une unité d'apprentissage comprenant un logiciel d'apprentissage 30. Le logiciel de contrôle 22 est apte à recevoir un fichier à contrôler FC issu du réseau 11 ou de l'unité de mémorisation 18 pour déterminer la sûreté de ce fichier comme ceci sera expliqué par la suite. Le logiciel d'association 24 est apte à associer chaque fichier informatique à un mot formel MF présentant une suite de lettres formelles LF. Chaque lettre formelle LF est une sous-suite de bits de longueur fixe dans la représentation binaire du fichier informatique. Plus particulièrement, chaque lettre formelle LF est un octet dans la représentation binaire du fichier informatique. L'ensemble des lettres formelles LF distinctes forme un alphabet formel AF. Ainsi, lorsqu'une lettre formelle LF est un octet, l'alphabet formel AF comprend 256 lettres formelles LF ce qui correspond au nombre maximal de combinaisons distinctes des valeurs binaires dans un octet. Autrement dit, AF={LF0, LF1, LF255} où LF, désigne une lettre formelle LF distincte. Ainsi, pour construire un mot formel MF à partir d'un fichier informatique, le logiciel d'association 24 est apte à lire le fichier informatique dans sa représentation binaire octet par octet, et à associer à chaque octet une lettre formelle LF. Il doit être noté que le logiciel d'association 24 n'est pas apte à interpréter la suite de bits dans la représentation binaire du fichier correspondant. Il n'est donc pas apte à exécuter ou à ouvrir ce fichier. Le logiciel de reconnaissance 26 est apte à reconnaitre l'appartenance d'un mot formel MF construit par le logiciel d'association 24 à un langage régulier LR construit sur l'alphabet formel AF. On comprend par langage régulier LR, un sous-ensemble de mots formels MF dans l'ensemble de tous les mots formels MF sur l'alphabet formel AF. Chaque langage régulier LR est apte à s'écrire sous la forme d'une expression régulière ER définissant de manière simple le sous-ensemble de mots formels MF correspondant à ce langage régulier LR. Ainsi, par exemple, l'expression régulière ER=(L1L2)* où le symbole * désigne une répétition zéro, une ou plusieurs fois de l'expression entre (...), définit un langage régulier LR comportant les mots formels MF : 0, L1L2, L11-21-11-2, - - Pour reconnaitre l'appartenance d'un mot formel MF à un langage régulier LR, le logiciel de reconnaissance 26 est apte à construire un automate fini déterministe à partir d'une expression régulière ER correspondant à ce langage régulier LR. Chaque automate fini déterministe comprend une pluralité d'états E comportant un état initial El et au moins un état acceptable EA, et une pluralité d'arêtes A définissant des conditions de passage d'un état E à un autre. Cette condition de passage est déterministe, c'est-à-dire qu'il existe un seul état E vers lequel la condition renvoie à partir d'un état E donné. Chaque condition de passage correspond à une règle de transition du langage régulier LR correspondant. Chaque condition est par exemple définie par une lettre formelle LF de l'alphabet formel AF acceptable par le langage régulier LR pour passer entre les états E correspondants. Chaque mot formel MF est reconnu par le langage régulier LR, lorsqu'en partant de l'état initial El de l'automate fini correspondant à ce langage régulier LR, il est possible d'arriver vers un état acceptable EA en considérant de manière consécutive chaque lettre formel LF du mot formel MF selon les conditions de passages définies entre les états E. Un exemple d'un automate fini déterministe construit pour un langage régulier LR défini par l'expression régulier ER=(L1L2)* est illustré sur la figure 3. Ainsi, en référence à cette figure 3, l'automate fini déterministe 40 comprend deux états E1 et E2. L'état E1 est à la fois un état initial El (marqué par la flèche 42) et un état acceptable EA (marqué par un deuxième cercle). L'automate fini déterministe 40 comprend en outre une arête 44 avec la condition de passage de l'état E1 vers l'état E2 déterminée par la lettre L1, et une arête 46 avec la condition de passage de l'état E2 vers l'état E1 déterminée par la lettre L2. L'automate 40 permet donc de reconnaitre les mots formels MF : 0, 1-11-2, L1L2L1I-2, - - - Il est à noter qu'il est possible de construire plusieurs automates finis déterministes différents pour la même expression régulière ER. La base de fichiers d'apprentissage 28 comprend une pluralité de fichiers informatiques dont la sûreté est connue. Ainsi, cette base 28 comprend une liste de sûreté des fichiers indiquant des fichiers d'apprentissage sains et des fichiers d'apprentissage infectés. Finalement, le logiciel d'apprentissage 30 est apte à générer des langages réguliers LR de contrôle à partir des fichiers d'apprentissage et à les fournir au logiciel de contrôle 24 pour déterminer la sûreté du fichier informatique à contrôler comme ceci sera expliqué par la suite. Le procédé 100 de mise en oeuvre d'un algorithme de détermination de sûreté de fichiers informatiques selon l'invention va désormais être décrit à l'aide des figures 4 et 5 illustrant des organigrammes respectivement d'une phase d'apprentissage P1 et d'une phase de contrôle P2 de ce procédé 100. La phase de contrôle P2 est mise en oeuvre notamment par le logiciel de contrôle 22 et permet de déterminer la sûreté d'un fichier informatique à contrôler en associant ce fichier à un mot formel MF et en analysant la reconnaissance de ce mot MF par un groupe de langages régulières LR de contrôle générés lors de la phase d'apprentissage P1. Ce groupe de langages réguliers LR forme un individu de contrôle. La phase d'apprentissage P1 est mise en oeuvre notamment par le logiciel d'apprentissage 30 et permet de générer un individu de contrôle le mieux adapté pour déterminer la sûreté du fichier informatique à contrôler à partir des fichiers d'apprentissage de la base 28. Il s'agit donc d'un algorithme génétique permettant de choisir l'individu de contrôle IC parmi une pluralité d'individus I en analysant leur capacité de déterminer la sûreté des fichiers d'apprentissage. La phase d'apprentissage P1 est ainsi apte à être lancée au moins une fois avant un premier lancement de la phase de contrôle P2. En référence à la figure 4, lors de l'étape initiale 110 de la phase d'apprentissage P2, le logiciel d'apprentissage 30 génère aléatoirement une pluralité de langages réguliers LR sur l'alphabet formel AF. Plus particulièrement, la génération des langages réguliers LR comprend la génération aléatoire des expressions régulières ER associées à ces langages. Le nombre total de langages réguliers LR générés est compris par exemple entre 1 000 et 10 000. Lors de la même étape, le logiciel d'apprentissage 30 associe chaque langage régulier LR généré à un individu I. Ainsi, chaque individu I est un sous-ensemble de l'ensemble des langages réguliers LR générés. L'ensemble des individus I forme une population P. Chaque individu a par exemple un nombre fixe des langages réguliers LR associés qui est égal par exemple à 13. Lors de l'étape 120 suivante, le logiciel d'apprentissage 30 fait évoluer la population P pour adapter chacun des individus I à la reconnaissance des fichiers sains ou des fichiers infectés. Ainsi, lors de la sous-étape 121, le logiciel d'apprentissage 30 évalue chaque individu I de la population P en associant à cet individu un indicateur de santé IS. Cet indicateur de santé IS caractérise l'aptitude de l'individu correspondant à déterminer la sûreté des fichiers d'apprentissage en utilisant les langues réguliers LR qui lui sont associés. Pour ce faire, le logiciel d'apprentissage 30 fait appel au logiciel d'association 24 pour associer à chacun des fichiers d'apprentissage issus de la base 28 un mot formel MF. Puis, pour chaque individu I et pour chaque langage régulier LR associé à cet individu I, le logiciel d'apprentissage 30 fait appel au logiciel de reconnaissance 26 pour déterminer la reconnaissance de chacun des mots formels MF par ce langage régulier LR. Puis, le logiciel d'apprentissage 30 calcule un premier ensemble d'éléments Xk dans lequel chaque élément Xk est associé à un nombre k variant entre 0 et le nombre total des langages réguliers LR associés à l'individu I incrémenté d'un. Chaque élément Xk correspondant au nombre k, est égal au rapport du nombre de mots formels MF associées aux fichiers d'apprentissage sains et étant reconnus par au moins k langages réguliers LR associés à l'individu I, sur le nombre total des fichiers d'apprentissage sains de la base 28. De manière analogue, le logiciel d'apprentissage 30 calcule un deuxième ensemble d'éléments Yk dans lequel chaque élément Yk est associé à un nombre k variant entre 0 et le nombre total des langages réguliers LR associés à l'individu I incrémenté d'un. Chaque élément Yk correspondant au nombre k, est égal au rapport du nombre de mots formels MF associées aux fichiers d'apprentissage infectés et étant reconnus par au moins k langages réguliers LR associés à l'individu I, sur le nombre total des fichiers d'apprentissage infectés de la base 28. Selon un exemple de réalisation, l'indicateur de santé IS de l'individu I est égal à l'aire d'une courbe ROC (de l'anglais « Receiver Operating Characteristic ») construite sur les points dont les abscisses X et les ordonnées Y correspondent respectivement aux éléments Xk et Yk des premier et deuxième ensembles d'éléments. Selon un autre exemple de réalisation, l'indicateur de santé IS est égal à la moyenne de ladite aire et d'un indicateur additionnel. Cet indicateur additionnel est mesuré par la proportion maximale de fichiers d'apprentissage (sains et infectés) tel qu'il existe un nombre p de langages réguliers LR associés à l'individu I tels que au plus p langages détectent les mots formels MF associés aux fichiers infectés, et au moins p+r détectent les mots formels MF associés aux fichiers sains. Le nombre r est un paramètre prédéterminé et le nombre p a la valeur maximale possible selon la condition précitée. Lors de la sous-étape 122 suivante, le logiciel d'apprentissage 30 crée un nouvel individu I pour au moins certaines paires d'individus I de la population P. Chaque individu I de cette paire d'individus est alors appelé individu parent pour l'individu enfant nouvellement créé. Les paires d'individus parents sont choisies en fonction de leur indicateur de santé IS. Ainsi, par exemple, seuls individus ayant leur indicateur de santé IS supérieur à un seuil prédéterminé, sont aptes à être choisis pour former une paire d'individus parents. Chaque individu enfant est associé à une pluralité de langages réguliers LR dont chaque langage régulier LR a été pris aléatoirement de l'un des individus parents correspondants. Lors de la sous-étape 123 suivante, le logiciel d'apprentissage 30 modifie aléatoirement une partie d'au moins certains langages réguliers LR de certains des individus I de la population P. Cette sous-étape correspond donc à une mutation aléatoire de la population P. Lors de la sous-étape 124 suivante, le logiciel d'apprentissage 30 supprime des individus I moins adaptés. Les individus supprimés correspondent par exemple aux individus I de la population P dont l'indicateur de santé est inférieur à un premier seuil. Ce premier seuil est par exemple un paramètre de l'étape 120 qui dépend par exemple du nombre des individus I dans la population P, du nombre d'itération de l'étape 120, etc. L'étape d'évolution 120 de la population P est répétée un nombre de fois prédéterminé. Selon un exemple de réalisation, l'étape d'évolution est répétée jusqu'à ce que la moyenne des indicateurs de santé de toute la population P ne devienne supérieure à un deuxième seuil prédéterminé. Lors de l'étape 130 suivante, le logiciel d'apprentissage sélectionne l'individu le plus adapté dans la population P. Cet individu correspond par exemple à l'individu I de la population P ayant l'indicateur de santé IS le plus élevé dans la population P. En référence à la figure 5, lors de l'étape initiale 150 de la phase de contrôle P2, le logiciel de contrôle 22 reçoit un fichier informatique à contrôler FC et un individu de contrôle IC correspondant à l'individu sélectionné par le logiciel d'apprentissage 30 lors de l'étape 130. Lors de l'étape 160 suivante, le logiciel de contrôle 22 fait appel au logiciel d'association 24 pour associer un mot formel à contrôler MFC au fichier à contrôler FC. Lors de l'étape 170 suivante, le logiciel de contrôle 22 fait appel au logiciel de reconnaissance 26 pour déterminer le nombre de langages réguliers LR associés à l'individu de contrôle IC ayant reconnu le mot formel à contrôler MFC. Finalement, lors de l'étape 180 suivante, le logiciel de contrôle 22 analyse ce nombre pour en déduire la sûreté du fichier à contrôler FC. Ainsi, par exemple, lorsque ce nombre est supérieur à la valeur p+r/2 où les nombres p et r correspondent aux nombres p et r dans le calcul de l'indicateur additionnel pour l'individu de contrôle IC indiqué précédemment. On conçoit alors que la présente invention comporte un certain nombre d'avantages. Le procédé selon l'invention met en oeuvre un algorithme génétique apte à apprendre lui-même de déterminer la sûreté des fichiers. Ceci permet alors de détecter des fichiers infectés par un logiciel malveillant dont la signature n'est pas connue mais comporte un certain nombre de similarités avec des signatures connues. La division du procédé en deux phases permet de lancer la phase de contrôle P2 indépendamment de la phase d'apprentissage P1 après que celle-ci a été lancée au moins une fois. De plus, il est possible de mettre à jour la base de fichiers d'apprentissage 28 et de lancer à nouveau la phase d'apprentissage pour améliorer l'adaptation de l'individu de contrôle IC. La phase de contrôle P2 est effectuée sans ouverture ou exécution du fichier à contrôler ce qui permet d'éviter l'exécution du logiciel malveillant. La mise en oeuvre du procédé selon l'invention a été illustrée en utilisant le formalisme des automates finis déterministes rendant la réalisation du procédé particulièrement simple. Toutefois, il est à noter qu'il possible d'utiliser d'autres techniques de réalisation connues dans l'état de la technique comme par exemple les grammaires contextuelles. REVENDICATIONS1.- Procédé (100) de mise en oeuvre d'un algorithme de détermination de sûreté de fichiers informatiques pour détecter des fichiers sains et des fichiers infectés par un logiciel malveillant, la sûreté d'un fichier à contrôler (FC) étant déterminée par une analyse de reconnaissance d'un mot formel à contrôler (MFC) associé à ce fichier (FC), par chaque langage régulier (LR) d'un groupe de langages réguliers (LR), dit individu de contrôle (IC), chaque langage régulier (LR) de l'individu de contrôle (IC) étant construit sur un alphabet formel (AF), l'alphabet formel (AF) comportant une pluralité de lettres formelles (LF) aptes à former des mots formels (MF) d'un ou plusieurs langages réguliers (LR) ; le procédé (100) comprenant une phase d'apprentissage (P1) de l'individu de contrôle (IC) et une phase de contrôle (P2) d'un fichier à contrôler (FC) par l'individu de contrôle (IC), la phase de contrôle (P2) comportant les étapes suivantes : - fourniture (150) de l'individu de contrôle (IC) développé lors de la phase d'apprentissage (P1) ; - association (160) du fichier à contrôler (FC) à un mot formel à contrôler (MFC) construit sur l'alphabet formel (AF) ; - détermination (170) de la reconnaissance du mot formel à contrôler (MFC) par chaque langage régulier (LR) de l'individu de contrôle (IC) ; - détermination (180) de la sûreté du fichier à contrôler (FC) en fonction du nombre des langages réguliers (LR) de l'individu de contrôle (IC) ayant reconnu le mot formel à contrôler (MFC) associé et le nombre des langages réguliers (LR) de l'individu de contrôle (IC) ne l'ayant pas reconnu ; la phase d'apprentissage (P1) comportant les étapes suivantes : - fourniture d'une base de fichiers (28) comprenant une pluralité de fichiers d'apprentissage dont la sûreté est connue, et association des mots formels (MF) à chacun de ces fichiers ; - génération (110) des individus (I) en associant à chacun d'entre eux un groupe de langages réguliers (LR), l'ensemble des individus (I) formant une population (P), chaque individu (I) étant associé à un indicateur de santé (IS) caractérisant son aptitude à déterminer la sûreté des fichiers d'apprentissage en utilisant la reconnaissance des mots formels (MF) associés à ces fichiers par les langues réguliers (LR) de cet individu (I) ; - évolution (120) de la population (P) comprenant une création (122) d'un nouvel individu (I) à partir de deux individus (I) parents, chaque nouvel individu (I) comportantune combinaison de langages réguliers (LR) associés à ses parents, et une suppression (124) d'individus (I) ayant les indicateurs de santé (IS) inférieurs à un seuil prédéterminé pour cette étape (120) ; - sélection (130) d'un individu de contrôle (IC) correspondant à l'individu ayant le meilleur indicateur de santé (IS) dans toute la population (P). 2.- Procédé (100) selon la revendication 1, dans lequel chacun des langages réguliers (LR) de chaque individu (I) est apte à reconnaitre des mots formels (MF) associés à des fichiers infectés par un logiciel malveillant. 3.- Procédé (100) selon la revendication 1, dans lequel chacun des langages réguliers (LR) de chaque individu (I) est apte à reconnaitre des mots formels (MF) associés à des fichiers sains. 4.- Procédé (100) selon l'une quelconque des revendications précédentes, dans lequel chaque lettre formelle (LF) de l'alphabet formel (AF) est une suite ordonnée de bits de longueur fixée. 5.- Procédé (100) selon la revendication 4, dans lequel ladite suite ordonnée comprend huit bits et forme un octet. 6.- Procédé (100) selon la revendication 4 ou 5, dans lequel chaque mot formel (MF) associé à un fichier informatique est une suite ordonnée de lettres formelles (LF) dans la représentation binaire de ce fichier informatique. 7.- Procédé (100) selon l'une quelconque des revendications précédentes, dans lequel lors de l'étape de génération (110) d'individus (I), les langages réguliers (LR) destinés à être associés à ces individus (I), sont générés de manière aléatoire. 8.- Procédé (100) selon l'une quelconque des revendications précédentes, dans lequel l'étape d'évolution (120) de la population (P) comprend en outre une mutation (123) d'individus consistant à une modification aléatoire d'une partie d'au moins certains langages réguliers (LR) de ces individus (I). 9.- Procédé (100) selon l'une quelconque des revendications précédentes, dans lequel la détermination de la reconnaissance d'un mot formel (MF) par un langage régulier(LR) est mise en oeuvre en utilisant un automate fini déterministe (40) comprenant une pluralité d'états (E) comportant un état initial (El) et au moins un état acceptable (EA), et une pluralité d'arêtes (44, 46) définissant des conditions de passage d'un état (E) à un autre ; chaque condition de passage étant définie par une lettre formelle (LF) de l'alphabet formel (AF) acceptable par le langage régulier (LR) correspondant pour passer entre les états (E) correspondants ; chaque mot formel (MF) étant reconnu par un langage régulier (LR) lorsqu'en partant de l'état initial (El) d'un automate fini déterministe (40) correspondant à ce langage régulier (LR), il est possible d'arriver vers l'au moins un état acceptable (EA) de cet automate (40) en considérant de manière consécutive chaque lettre formelle (LF) du mot formel (MF) selon les conditions de passages définies entre les états (E) de cet automate (40). 10.- Procédé (100) selon l'une quelconque des revendications précédentes, dans lequel l'indicateur de santé (IS) de chaque individu (I) est une fonction du nombre des langages réguliers (LR) de cet individu (I), aptes à reconnaitre des mots formels (MF) associés à chacun des fichiers d'apprentissage. 11.- Module (20) de détermination de sureté de fichiers informatiques pour détecter des fichiers sains et des fichiers infectés par un logiciel malveillant, la sûreté d'un fichier à contrôler (FC) étant déterminée par une analyse de reconnaissance d'un mot formel à contrôler (MFC) associé à ce fichier (FC), par chaque langage régulier (LR) d'un groupe de langages réguliers (LR), dit individu de contrôle (IC), chaque langage régulier (LR) de l'individu de contrôle (IC) étant construit sur un alphabet formel (AF), l'alphabet formel (AF) comportant une pluralité de lettres formelles (LF) aptes à former des mots formels (MF) d'un ou plusieurs langages réguliers (LR) ; le module (20) étant apte : - à fournir une base de fichiers (28) comprenant une pluralité de fichiers d'apprentissage dont la sûreté est connue, et à associer des mots formels (MF) à chacun de ces fichiers ; - à générer des individus (I) en associant à chacun d'entre eux un groupe de langages réguliers (LR), l'ensemble des individus (I) formant une population (P), chaque individu (I) étant associé à un indicateur de santé (IS) caractérisant son aptitude à déterminer la sûreté des fichiers d'apprentissage en utilisant la reconnaissance des mots formels (MF) associés à ces fichiers par les langues réguliers (LR) de cet individu (I) ;- à faire évoluer la population (P) en créant un nouvel individu (I) à partir de deux individus (I) parents, chaque nouvel individu (I) comportant une combinaison de langages réguliers (LR) associés à ses parents, et en supprimant des individus (I) ayant les indicateurs de santé (IS) inférieurs à un seuil prédéterminé ; - à sélectionner un individu de contrôle (IC) correspondant à l'individu ayant le meilleur indicateur de santé (IS) dans toute la population (P) ; - à associer le fichier à contrôler (FC) à un mot formel à contrôler (MFC) construit sur l'alphabet formel (AF) ; - à déterminer la reconnaissance du mot formel à contrôler (MFC) par chaque langage régulier (LR) de l'individu de contrôle (IC) ; - à déterminer la sûreté du fichier à contrôler (FC) en fonction du nombre des langages réguliers (LR) de l'individu de contrôle (IC) ayant reconnu le mot formel à contrôler (MFC) associé et le nombre des langages réguliers (LR) de l'individu de contrôle (IC) ne l'ayant pas reconnu. 12.- Procédé de construction d'une unité de contrôle (22) permettant de mettre en oeuvre un algorithme de détermination de sûreté de fichiers informatiques pour détecter des fichiers sains et des fichiers infectés par un logiciel malveillant, la sûreté d'un fichier à contrôler (FC) étant déterminée par une analyse de reconnaissance d'un mot formel à contrôler (MFC) associé à ce fichier (FC), par chaque langage régulier (LR) d'un groupe de langages réguliers (LR), dit individu de contrôle (IC), chaque langage régulier (LR) de l'individu de contrôle (IC) étant construit sur un alphabet formel (AF), l'alphabet formel (AF) comportant une pluralité de lettres formelles (LF) aptes à former des mots formels (MF) d'un ou plusieurs langages réguliers (LR) ; le procédé comprenant une phase d'apprentissage (P1) de l'individu de contrôle (IC) comportant les étapes suivantes : - fourniture d'une base de fichiers (28) comprenant une pluralité de fichiers d'apprentissage dont la sûreté est connue, et association des mots formels (MF) à chacun de ces fichiers ; - génération (110) des individus (I) en associant à chacun d'entre eux un groupe de langages réguliers (LR), l'ensemble des individus (I) formant une population (P), chaque individu (I) étant associé à un indicateur de santé (IS) caractérisant son aptitude à déterminer la sûreté des fichiers d'apprentissage en utilisant la reconnaissance des mots formels (MF) associés à ces fichiers par les langues réguliers (LR) de cet individu (I) ; - évolution (120) de la population (P) comprenant une création (122) d'un nouvel individu (I) à partir de deux individus (I) parents, chaque nouvel individu (I) comportantune combinaison de langages réguliers (LR) associés à ses parents, et une suppression (124) d'individus (I) ayant les indicateurs de santé (IS) inférieurs à un seuil prédéterminé pour cette étape (120) ; - sélection (130) d'un individu de contrôle (IC) correspondant à l'individu ayant le meilleur indicateur de santé (IS) dans toute la population (P) ; - fourniture (150) de l'individu de contrôle (IC) sélectionné pour mettre en oeuvre l'unité de contrôle (22). 13.- Produit programme d'ordinateur comportant des instructions logicielles qui, lorsqu'elles sont mises en oeuvre par un ordinateur, mettent en oeuvre le procédé selon la revendication 12.