Cet ouvrage présente les virus informatiques selon une triple perspective : les fondements théoriques de la virologie informatique, l'aspect algorithmique et pratique des virus ainsi que les applications que l'on peut mettre en œuvre à l'aide de virus. La formalisation théorique au moyen de machines de Türing, d'automates auto-reproducteurs et de fonctions récursives permet de dresser un tableau détaillé des différents types d'infections informatiques. Les principaux enjeux de la protection et de la lutte antivirale sont ainsi mis en lumière. L'étude détaillée du code source de diverses familles représentatives de l'algorithmique virale permettra au lecteur de comprendre les mécanismes fondamentaux mis en œuvre par un virus ou un ver. Le langage C a été systématiquement utilisé afin de faciliter compréhension des programmes étudiés. L'auteur, expert en virologie et en cryptologie ministère de la Défense et chercheur associé Institut National de Recherche en Informatique et en Automatique, termine son propos en décrivant certaines applications particulières des virus. Il montre ainsi l'étendue de la virologie informatique.
Sommaire
LES VIRUS : GENESE ET THEORIE
Les bases de la formalisation
La formalisation : Cohen et Adleman (1984-1989)
Taxonomie, techniques et outils
LES VIRUS : PRATIQUE
Les virus interprétés
Les virus compagnons
Les vers
LES VIRUS : APPLICATIONS
Virus et applications
Les virus de BIOS
Cryptanalyse appliquée de systèmes de chiffrement