Lutte contre les infections informatiques
Virus informatiques

Les études théoriques des années 1980 [1][4] ont très vite permis de définir un certain nombre de techniques et de modèles permettant une lutte effective contre les diverses infections informatiques. Si leur mise en œuvre est plus ou moins aisée, leur efficacité varie suffisamment pour obliger à les utiliser de manière conjointe. Le résultat théorique le plus important est celui de Fred Cohen, qui démontra, en 1986, que déterminer si un programme est infecté, est un problème en général indécidable (au sens mathématique du terme).

Un corollaire important est qu'il est toujours possible de leurrer un logiciel antivirus (exercice...