Grammaires Van Wijngaarden pour la Formalisation des Malwares k-aires

Cette étude académique applique les grammaires formelles de Van Wijngaarden à la formalisation théorique du code malveillant k-aire, s'appuyant sur les travaux fondamentaux en théorie des virus informatiques. La recherche fournit une revue bibliographique complète de la classification et des techniques de mutation des virus, analysant comment les stratégies de transformation du code polymorphe et métamorphe peuvent être modélisées par des systèmes de grammaire formelle. Les virus k-aires distribuent la fonctionnalité malveillante sur plusieurs composants fichiers qui semblent individuellement inoffensifs—une sophistication que le document aborde au moyen du formalisme de grammaire à deux niveaux de Van Wijngaarden. Utilisées traditionnellement en définition des langages de programmation, ces grammaires peuvent générer des ensembles infinis de productions à partir d'un ensemble fini de règles, offrant un cadre théorique pour comprendre comment les moteurs métamorphes avancés transforment le code sur le plan structural tout en préservant l'équivalence sémantique. La recherche représente un travail préliminaire vers une preuve de concept de système viral k-aire construit sur ces formalismes grammaticaux avancés, démontrant leur application potentielle à la modélisation des processus complexes de mutation de code en informatique et recherche en sécurité.