De plus en plus d'applications gourmandes en ressources de calcul et en mémoire exploitent des infrastructures distribuées composées de l'interconnexion de machines géographiquement dispersées. On parle de grilles de grappes. Il se pose alors le problème de la certification de l'exécution d'un programme parallèle sur une grille non sécurisée. Ce domaine fait l'objet de nombreux travaux, tant au niveau matériel que logiciel. Nous proposons ici une méthode logicielle originale basée sur le calcul dynamique du flot de données associé à une exécution partielle du programme sur une machine sécurisée. Ce flot de données est un résumé de l'exécution : toute exécution complète du programme sur une machine distante non sécurisée avec les mêmes entrées fournit un flot dont le résumé doit correspondre à celui obtenu par exécution partielle.