Approche formelle pour la vérification des IDS