Modélisation de signatures dynamiques par réseau bayésien pour la vérification